aboutsummaryrefslogtreecommitdiff
path: root/release.nix
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-05-07 13:22:26 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-05-07 13:22:26 +0000
commit9536ba19d437a82d4b521709b49ef6977321b692 (patch)
treed1de4e0405b5822838b81d529b153bfa5d09e8da /release.nix
parent83bd320b39c5d12ff4a40bea47177011fa1c7599 (diff)
Diffstat (limited to 'release.nix')
-rw-r--r--release.nix5
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
'';
};