diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2020-12-04 00:37:25 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-04 00:37:25 +0000 |
commit | 884a0b091badacbe330bb04ee2a6695d040b9d34 (patch) | |
tree | 5538a429f733bd815cdf359525d4175c3f7ef796 /nixos/modules/misc/documentation.nix | |
parent | fa9414bb45e8ee1b29f3a422396cbe6918d8ac27 (diff) | |
parent | 4fd3b00f06a1bc93bf7011a4eeff619eaccf8037 (diff) |
Merge master into staging-next
Diffstat (limited to 'nixos/modules/misc/documentation.nix')
-rw-r--r-- | nixos/modules/misc/documentation.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/modules/misc/documentation.nix b/nixos/modules/misc/documentation.nix index bc43cc33b5d4..fe0263f158f4 100644 --- a/nixos/modules/misc/documentation.nix +++ b/nixos/modules/misc/documentation.nix @@ -217,7 +217,7 @@ in manualCache = pkgs.runCommandLocal "man-cache" { } '' echo "MANDB_MAP ${manualPages}/share/man $out" > man.conf - ${pkgs.man-db}/bin/mandb -C man.conf -psc + ${pkgs.man-db}/bin/mandb -C man.conf -psc >/dev/null 2>&1 ''; in '' |