diff options
| author | jkh <jkh@FreeBSD.org> | 1994-09-08 22:40:56 +0000 |
|---|---|---|
| committer | jkh <jkh@FreeBSD.org> | 1994-09-08 22:40:56 +0000 |
| commit | 5f829f2917b8276401450a4a0340dc06aa91f91a (patch) | |
| tree | 95a21d17721d353e411c576bd3387328802dccd9 /share/examples | |
| parent | 6cf02f12cc0f10964210a7d1bbdd5a6827ae602d (diff) | |
| download | FreeBSD-src-5f829f2917b8276401450a4a0340dc06aa91f91a.zip FreeBSD-src-5f829f2917b8276401450a4a0340dc06aa91f91a.tar.gz | |
Sample manpath.config.
Submitted by: jkh
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 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 |
