diff options
Diffstat (limited to 'etc/manpath.config')
| -rw-r--r-- | etc/manpath.config | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/etc/manpath.config b/etc/manpath.config deleted file mode 100644 index f6e6d6802793..000000000000 --- a/etc/manpath.config +++ /dev/null @@ -1,30 +0,0 @@ -# manpath.config -# -# This file is read by manpath to configure the mandatory manpath, to -# map each path element to a manpath element and to determine where the -# "man" binary lives. The format is: -# -# MANBIN pathname -# MANDATORY_MANPATH manpath_element -# MANPATH_MAP path_element manpath_element -# -# MANBIN is optional -# -#MANBIN /usr/bin/man -# -# every automatically generated MANPATH includes these fields -# -MANDATORY_MANPATH /usr/share/man -MANDATORY_MANPATH /usr/local/man -MANDATORY_MANPATH /usr/X386/man -#MANDATORY_MANPATH /usr/X11R6/man -# -# set up PATH to MANPATH mapping -# -MANPATH_MAP /bin /usr/share/man -MANPATH_MAP /usr/bin /usr/share/man -MANPATH_MAP /usr/ucb /usr/share/man -MANPATH_MAP /usr/local/mh /usr/local/mh/man -MANPATH_MAP /usr/local/bin /usr/local/man -MANPATH_MAP /usr/X386/bin /usr/X386/man -#MANPATH_MAP /usr/X11R6/bin /usr/X11R6/man |