man: do not use default if /etc/man.conf has different MANPATH
authorDenis Vlasenko <vda.linux@googlemail.com>
Sun, 14 Sep 2008 21:30:35 +0000 (21:30 -0000)
committerDenis Vlasenko <vda.linux@googlemail.com>
Sun, 14 Sep 2008 21:30:35 +0000 (21:30 -0000)
commita1e16c9298756e54161d9bf7d24b03415e2707c0
treec74cfdeb08ad7fe930e21306e8c4a7066bb84b42
parente357d2ae6833e3ca306f3aa6e12c6ddf2ff1eae2
man: do not use default if /etc/man.conf has different MANPATH
 do not warn if /etc/man.conf does not exist
miscutils/man.c