diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07 13:22:26 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07 13:22:26 +0000 |
commit | 9536ba19d437a82d4b521709b49ef6977321b692 (patch) | |
tree | d1de4e0405b5822838b81d529b153bfa5d09e8da /release.nix | |
parent | 83bd320b39c5d12ff4a40bea47177011fa1c7599 (diff) |
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 ''; }; |