diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-05-03 00:13:16 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-03 00:13:16 +0000 |
| commit | 26d2f291dffdcb7e5f40896be3fc3bc72538dbd0 (patch) | |
| tree | 5eab6c80968fb769f5433bc2fa6b96f102d17701 /doc/default.nix | |
| parent | 2918b2c876b74d0ba5e333676ee86228f51c24e8 (diff) | |
| parent | 172094c8c1f83ee7f6d7dd10e64fdc7da0e4ac3b (diff) | |
Merge master into haskell-updates
Diffstat (limited to 'doc/default.nix')
| -rw-r--r-- | doc/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/default.nix b/doc/default.nix index 76aba1a03eaf2..ca4091dc222cc 100644 --- a/doc/default.nix +++ b/doc/default.nix @@ -111,7 +111,7 @@ in pkgs.stdenv.mkDerivation { ${lib-docs}/index.md \ > ./functions/library.md substitute ./manual.md.in ./manual.md \ - --replace '@MANUAL_VERSION@' '${pkgs.lib.version}' + --replace-fail '@MANUAL_VERSION@' '${pkgs.lib.version}' mkdir -p out/media |