1 files changed, 3 insertions, 2 deletions
diff --git a/release.nix b/release.nix
index 44325c84ebfa..c02a5fa93063 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
'';
};
|