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