diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07T13·12+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07T13·12+0000 |
commit | 83bd320b39c5d12ff4a40bea47177011fa1c7599 (patch) | |
tree | 6cd2e201c7c4519060be2698204dd55f6b033d48 | |
parent | f751c2966b98d14bbb0337abeca1cb1106e09136 (diff) |
* Build a PDF version of the manual in the tarball job (it's not
included in the tarball though).
-rw-r--r-- | release.nix | 6 |
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 ''; }; |