diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2024-04-30 19:21:39 +0200 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2024-05-02 23:19:15 +0200 |
| commit | 499f72387374383d28673316749e5946d5a61c31 (patch) | |
| tree | af7990c7c14dd819211037cb30c4a64653d6783a /doc/default.nix | |
| parent | 29521b42cf644cd9713476c703507afa8d7ca187 (diff) | |
doc: Use substitute --replace-fail in manuals
This fixes a warning about --replace being deprecated.
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 |