diff options
Diffstat (limited to 'share/examples/etc/manpath.config')
| -rw-r--r-- | share/examples/etc/manpath.config | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/share/examples/etc/manpath.config b/share/examples/etc/manpath.config deleted file mode 100644 index 37d3380..0000000 --- a/share/examples/etc/manpath.config +++ /dev/null @@ -1,31 +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 |
