diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2017-03-11 05:56:50 +0000 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2017-03-11 05:56:50 +0000 |
commit | 61d5f2d1627eeb6d7f33a7b4f6809b674a95a1b5 (patch) | |
tree | e2cd97b5c16d4c90834f98553fe4d1c8535e4f99 /usr.bin/man | |
parent | f7c237746be73ba920a29b8713bd44040a56ee28 (diff) | |
download | src-test-61d5f2d1627eeb6d7f33a7b4f6809b674a95a1b5.tar.gz src-test-61d5f2d1627eeb6d7f33a7b4f6809b674a95a1b5.zip |
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
Notes
Notes:
svn path=/head/; revision=315053
Diffstat (limited to 'usr.bin/man')
-rwxr-xr-x | usr.bin/man/man.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/usr.bin/man/man.sh b/usr.bin/man/man.sh index 094ea11c10a34..5f0462fb77559 100755 --- a/usr.bin/man/man.sh +++ b/usr.bin/man/man.sh @@ -771,6 +771,8 @@ search_path() { case "$path" in */bin) p="${path%/bin}/man" add_to_manpath "$p" + p="${path%/bin}/share/man" + add_to_manpath "$p" ;; *) ;; esac |