Merge pull request #45058 from michaelpj/imp/freedesktop-modules

freedesktop modules: init
This commit is contained in:
Jan Tojnar
2018-08-30 16:14:35 +01:00
committed by GitHub
14 changed files with 155 additions and 36 deletions
+8
View File
@@ -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 {