diff options
author | sternenseemann <sternenseemann@systemli.org> | 2021-09-20 14:16:46 +0200 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2021-09-23 21:24:10 +0200 |
commit | ad02b5c89e88a96bdd23d36d2290c2269732fba4 (patch) | |
tree | f03afba8ae11a895036d36144cceb436e41d948d /pkgs/tools/misc/mandoc | |
parent | a43f48b710cde16db55a950e77b8cca26e1268af (diff) |
mandoc: set MANPATH_BASE additionally to MANPATH_DEFAULT
MANPATH_BASE is used by mandoc -T lint to check if man pages that are referenced exist on the system. While this feature is a bit problematic for us (e. g. it will never work correctly in the nix sandbox), it hasn't even worked in an impure context before since MANPATH_BASE defaults to /usr/share/man:/usr/X11R6/man.
Diffstat (limited to 'pkgs/tools/misc/mandoc')
-rw-r--r-- | pkgs/tools/misc/mandoc/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/tools/misc/mandoc/default.nix b/pkgs/tools/misc/mandoc/default.nix index 75c6ac8b41bc6..59e008c78faf5 100644 --- a/pkgs/tools/misc/mandoc/default.nix +++ b/pkgs/tools/misc/mandoc/default.nix @@ -32,6 +32,7 @@ stdenv.mkDerivation rec { configureLocal = '' MANPATH_DEFAULT="/run/current-system/sw/share/man" + MANPATH_BASE="$MANPATH_DEFAULT" OSNAME="NixOS" PREFIX="$out" LD_OHASH="-lutil" |