Make it possible to disable "info"

2016-09-05 14:53:27 +02:00
parent 5e5df88457
commit ab49ebe6fa
4 changed files with 33 additions and 4 deletions
@@ -38,7 +38,6 @@ let
      pkgs.strace
      pkgs.su
      pkgs.time
-      pkgs.texinfoInteractive
      pkgs.utillinux
      pkgs.which # 88K size
    ];
@@ -105,7 +104,6 @@ in
        "/etc/xdg"
        "/etc/gtk-2.0"
        "/etc/gtk-3.0"
-        "/info"
        "/lib" # FIXME: remove and update debug-info.nix
        "/sbin"
        "/share/applications"
@@ -113,7 +111,6 @@ in
        "/share/doc"
        "/share/emacs"
        "/share/icons"
-        "/share/info"
        "/share/menus"
        "/share/mime"
        "/share/nano"