Put info files in the man output

This commit is contained in:
Eelco Dolstra 2013-06-12 17:16:51 +02:00
parent a4a2b88f29
commit 8a1d96ec4d

View File

@ -11,10 +11,10 @@ stdenv.mkDerivation (args // {
preHook = preHook =
if setOutputConfigureFlags then if setOutputConfigureFlags then
optionalString (elem "man" outputs) '' optionalString (elem "man" outputs) ''
configureFlags="--mandir=$man/share/man $configureFlags" configureFlags="--mandir=$man/share/man --infodir=$man/share/info $configureFlags"
'' + '' +
optionalString (elem "bin" outputs) '' optionalString (elem "bin" outputs) ''
configureFlags="--bindir=$bin/bin --sbindir=$bin/sbin --mandir=$bin/share/man $configureFlags" configureFlags="--bindir=$bin/bin --sbindir=$bin/sbin --mandir=$bin/share/man --infodir=$man/share/info $configureFlags"
'' + '' +
optionalString (elem "lib" outputs) '' optionalString (elem "lib" outputs) ''
configureFlags="--libdir=$lib/lib $configureFlags" configureFlags="--libdir=$lib/lib $configureFlags"