diff options
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/release.nix b/release.nix index 44325c84e..c02a5fa93 100644 --- a/release.nix +++ b/release.nix @@ -51,12 +51,13 @@ let preDist = '' make -C doc/manual install prefix=$out - echo "doc manual $out/share/doc/nix/manual" >> $out/nix-support/hydra-build-products - echo "doc release-notes $out/share/doc/nix/release-notes" >> $out/nix-support/hydra-build-products make -C doc/manual manual.pdf prefix=$out cp doc/manual/manual.pdf $out/manual.pdf + + echo "doc manual $out/share/doc/nix/manual" >> $out/nix-support/hydra-build-products echo "doc-pdf manual $out/manual.pdf" >> $out/nix-support/hydra-build-products + echo "doc release-notes $out/share/doc/nix/release-notes" >> $out/nix-support/hydra-build-products ''; }; |