about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-05-07T13·12+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-05-07T13·12+0000
commit83bd320b39c5d12ff4a40bea47177011fa1c7599 (patch)
tree6cd2e201c7c4519060be2698204dd55f6b033d48
parentf751c2966b98d14bbb0337abeca1cb1106e09136 (diff)
* Build a PDF version of the manual in the tarball job (it's not
  included in the tarball though).

-rw-r--r--release.nix6
1 files changed, 5 insertions, 1 deletions
diff --git a/release.nix b/release.nix
index 3f7de2145ee3..44325c84ebfa 100644
--- a/release.nix
+++ b/release.nix
@@ -18,7 +18,7 @@ let
         src = nix;
         inherit officialRelease;
 
-        buildInputs = [curl bison flex2533 perl libxml2 libxslt w3m bzip2 jing_tools];
+        buildInputs = [curl bison flex2533 perl libxml2 libxslt w3m bzip2 jing_tools tetex dblatex];
 
         configureFlags = ''
           --with-docbook-rng=${docbook5}/xml/rng/docbook
@@ -53,6 +53,10 @@ let
           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-pdf manual $out/manual.pdf" >> $out/nix-support/hydra-build-products
         '';
       };