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.main
parent
a43f48b710
commit
ad02b5c89e
Loading…
Reference in new issue