aboutsummaryrefslogtreecommitdiff
path: root/release.nix
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01 14:28:31 +0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01 14:38:12 +0100
commit6ef32bddc1f10034322966b3a5b85af7b9cdc4d8 (patch)
tree7cd959b794ae2a969b49434416bb9d6f3af6a859 /release.nix
parent0c6d62cf27b3b22fa60bddad16ea8e8d062e4a99 (diff)
Fix "make dist"
Diffstat (limited to 'release.nix')
-rw-r--r--release.nix5
1 files changed, 2 insertions, 3 deletions
diff --git a/release.nix b/release.nix
index 670871909..29bceca7c 100644
--- a/release.nix
+++ b/release.nix
@@ -30,7 +30,6 @@ let
configureFlags = ''
--with-docbook-rng=${docbook5}/xml/rng/docbook
--with-docbook-xsl=${docbook5_xsl}/xml/xsl/docbook
- --with-xml-flags=--nonet
--with-dbi=${perlPackages.DBI}/${perl.libPrefix}
--with-dbd-sqlite=${perlPackages.DBDSQLite}/${perl.libPrefix}
--with-www-curl=${perlPackages.WWWCurl}/${perl.libPrefix}
@@ -56,9 +55,9 @@ let
'';
preDist = ''
- make -C doc/manual install prefix=$out
+ make install prefix=$out makefiles=doc/manual/local.mk
- make -C doc/manual manual.pdf prefix=$out
+ make doc/manual/manual.pdf
cp doc/manual/manual.pdf $out/manual.pdf
# The PDF containes filenames of included graphics (see