diff options
| author | Jordan K. Hubbard <jkh@FreeBSD.org> | 1994-09-08 22:40:56 +0000 |
|---|---|---|
| committer | Jordan K. Hubbard <jkh@FreeBSD.org> | 1994-09-08 22:40:56 +0000 |
| commit | 2a34794e1315ccb51def4a3a0eca3f6a38cedc91 (patch) | |
| tree | 95a21d17721d353e411c576bd3387328802dccd9 /share/examples | |
| parent | d653487a46d1b1763c422ee6606679b66dea30b1 (diff) | |
| download | src-test2-2a34794e1315ccb51def4a3a0eca3f6a38cedc91.tar.gz src-test2-2a34794e1315ccb51def4a3a0eca3f6a38cedc91.zip | |
Notes
Diffstat (limited to 'share/examples')
| -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 000000000000..37d338064bf2 --- /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 |