about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-05-07T13·22+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-05-07T13·22+0000
commit9536ba19d437a82d4b521709b49ef6977321b692 (patch)
treed1de4e0405b5822838b81d529b153bfa5d09e8da
parent83bd320b39c5d12ff4a40bea47177011fa1c7599 (diff)
-rw-r--r--release.nix5
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
         '';
       };