diff options
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 3f7de2145e..44325c84eb 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 ''; }; |