diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2018-08-30 16:14:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-30 16:14:35 +0100 |
| commit | 8a8056c302bf395f70fa72ac52984e4b3698bb9a (patch) | |
| tree | a5450feda78007ed6455faad4c4384f4b9fb85c9 /nixos/modules/misc | |
| parent | 7b4c7c4b592a95b10bfb3903e911dd58b702335b (diff) | |
| parent | 854ebed7893b53d4991ec0839da3697baee41501 (diff) | |
| download | nixlib-8a8056c302bf395f70fa72ac52984e4b3698bb9a.tar nixlib-8a8056c302bf395f70fa72ac52984e4b3698bb9a.tar.gz nixlib-8a8056c302bf395f70fa72ac52984e4b3698bb9a.tar.bz2 nixlib-8a8056c302bf395f70fa72ac52984e4b3698bb9a.tar.lz nixlib-8a8056c302bf395f70fa72ac52984e4b3698bb9a.tar.xz nixlib-8a8056c302bf395f70fa72ac52984e4b3698bb9a.tar.zst nixlib-8a8056c302bf395f70fa72ac52984e4b3698bb9a.zip | |
Merge pull request #45058 from michaelpj/imp/freedesktop-modules
freedesktop modules: init
Diffstat (limited to 'nixos/modules/misc')
| -rw-r--r-- | nixos/modules/misc/documentation.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/nixos/modules/misc/documentation.nix b/nixos/modules/misc/documentation.nix index b482a5a67523..e6ccda5d7f40 100644 --- a/nixos/modules/misc/documentation.nix +++ b/nixos/modules/misc/documentation.nix @@ -82,6 +82,14 @@ let cfg = config.documentation; in environment.systemPackages = [ pkgs.texinfoInteractive ]; environment.pathsToLink = [ "/share/info" ]; environment.extraOutputsToInstall = [ "info" ] ++ optional cfg.dev.enable "devinfo"; + environment.extraSetup = '' + if [ -w $out/share/info ]; then + shopt -s nullglob + for i in $out/share/info/*.info $out/share/info/*.info.gz; do + ${pkgs.texinfo}/bin/install-info $i $out/share/info/dir + done + fi + ''; }) (mkIf cfg.doc.enable { |