Merge pull request #35071 from oxij/stdenv/infopages

stdenv, bash: fixing info pages and stuff
2018-02-26 18:06:11 -05:00
parent b4cf3f7909 d45e39c9a9
commit 4a29081a94
5 changed files with 51 additions and 48 deletions
@@ -36,9 +36,7 @@ stdenv.mkDerivation rec {

  hardeningDisable = [ "format" ];

-  outputs = [ "out" "dev" "doc" "info" ]
-    # the man pages are small and useful enough, so include them in $out in interactive builds
-    ++ stdenv.lib.optional (!interactive) "man";
+  outputs = [ "out" "dev" "man" "doc" "info" ];

  NIX_CFLAGS_COMPILE = ''
    -DSYS_BASHRC="/etc/bashrc"