diff options
Diffstat (limited to 'gnu/usr.bin/man/manpath/manpath.config')
| -rw-r--r-- | gnu/usr.bin/man/manpath/manpath.config | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gnu/usr.bin/man/manpath/manpath.config b/gnu/usr.bin/man/manpath/manpath.config new file mode 100644 index 000000000000..b9c1171ae37e --- /dev/null +++ b/gnu/usr.bin/man/manpath/manpath.config @@ -0,0 +1,30 @@ +# 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/local/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/gnu/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/gnu /usr/gnu/man +MANPATH_MAP /usr/X386 /usr/X386/man |