about summary refs log tree commit diff
path: root/release.nix
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01T13·28+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01T13·38+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 67087190942f..29bceca7c722 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