mirror of
https://github.com/NixOS/nix
synced 2025-07-08 02:43:54 +02:00
Fix "make dist"
This commit is contained in:
parent
0c6d62cf27
commit
6ef32bddc1
9 changed files with 19 additions and 15 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue