diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-01 14:28:31 +0100 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-01 14:38:12 +0100 |
commit | 6ef32bddc1f10034322966b3a5b85af7b9cdc4d8 (patch) | |
tree | 7cd959b794ae2a969b49434416bb9d6f3af6a859 /release.nix | |
parent | 0c6d62cf27b3b22fa60bddad16ea8e8d062e4a99 (diff) |
Fix "make dist"
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 5 |
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 |