diff options
author | Michael Peyton Jones <me@michaelpj.com> | 2018-08-15 10:59:44 +0100 |
---|---|---|
committer | Michael Peyton Jones <me@michaelpj.com> | 2018-08-16 21:23:34 +0100 |
commit | 1b11fdd0df2254a762a16d04e603ba99e42169c0 (patch) | |
tree | 46695718d533092fb986a0a73d8260b1da306ec2 /nixos/modules/misc/documentation.nix | |
parent | 13e2e19158bcd2b4d53e452d82f62817194100ef (diff) | |
download | nixpkgs-1b11fdd0df2254a762a16d04e603ba99e42169c0.tar nixpkgs-1b11fdd0df2254a762a16d04e603ba99e42169c0.tar.gz nixpkgs-1b11fdd0df2254a762a16d04e603ba99e42169c0.tar.bz2 nixpkgs-1b11fdd0df2254a762a16d04e603ba99e42169c0.tar.lz nixpkgs-1b11fdd0df2254a762a16d04e603ba99e42169c0.tar.xz nixpkgs-1b11fdd0df2254a762a16d04e603ba99e42169c0.tar.zst nixpkgs-1b11fdd0df2254a762a16d04e603ba99e42169c0.zip |
system-path: allow other modules to provide setup fragments
Diffstat (limited to 'nixos/modules/misc/documentation.nix')
-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 b482a5a6752..e6ccda5d7f4 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 { |