diff options
Diffstat (limited to 'gnu/usr.bin/man/manpath')
| -rw-r--r-- | gnu/usr.bin/man/manpath/manpath.c | 3 | ||||
| -rw-r--r-- | gnu/usr.bin/man/manpath/manpath.config | 13 |
2 files changed, 4 insertions, 12 deletions
diff --git a/gnu/usr.bin/man/manpath/manpath.c b/gnu/usr.bin/man/manpath/manpath.c index c4ddcf1..990805f 100644 --- a/gnu/usr.bin/man/manpath/manpath.c +++ b/gnu/usr.bin/man/manpath/manpath.c @@ -200,9 +200,6 @@ get_dirlist () if (*bp == '#' || *bp == '\n') continue; - if (!strncmp ("MANBIN", bp, 6)) - continue; - if (!strncmp ("MANDATORY_MANPATH", bp, 17) || !strncmp ("OPTIONAL_MANPATH", bp, 16)) { diff --git a/gnu/usr.bin/man/manpath/manpath.config b/gnu/usr.bin/man/manpath/manpath.config index a1fcdd3..d3597e7 100644 --- a/gnu/usr.bin/man/manpath/manpath.config +++ b/gnu/usr.bin/man/manpath/manpath.config @@ -1,18 +1,13 @@ -# $Id: manpath.config,v 1.11 1999/07/25 19:33:06 markm Exp $ +# $Id: manpath.config,v 1.12 1999/08/16 11:34:56 ru Exp $ # -# This file is read by manpath(1) to configure the mandatory and -# optional manpath, to map each path element to a manpath element -# and to determine where the "man" binary lives. The format is: +# This file is read by manpath(1) to configure the mandatory manpath, +# optional manpath and to map each path element to a manpath element. +# The format is: # -# MANBIN pathname # MANDATORY_MANPATH manpath_element # OPTIONAL_MANPATH manpath_element # MANPATH_MAP path_element manpath_element # -# MANBIN is optional -# -#MANBIN /usr/local/bin/man -# # every automatically generated MANPATH includes these fields # MANDATORY_MANPATH /usr/share/man |
