Add share/man if it exists to the MANPATH

localbase is not consistent with base for manpages:
/usr/local/man vs /usr/share/man adding share/man allows to fix that
inconsistency and would permit to remove tons of patches/modifications in the
ports tree
This commit is contained in:
Baptiste Daroussin 2017-03-11 05:56:50 +00:00
parent f7c237746b
commit 61d5f2d162

View file

@ -770,6 +770,8 @@ search_path() {
else
case "$path" in
*/bin) p="${path%/bin}/man"
add_to_manpath "$p"
p="${path%/bin}/share/man"
add_to_manpath "$p"
;;
*) ;;