diff options
Diffstat (limited to 'gnu/usr.bin/man/manpath/manpath.config')
| -rw-r--r-- | gnu/usr.bin/man/manpath/manpath.config | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/gnu/usr.bin/man/manpath/manpath.config b/gnu/usr.bin/man/manpath/manpath.config index a1fcdd3..d3597e7 100644 --- a/gnu/usr.bin/man/manpath/manpath.config +++ b/gnu/usr.bin/man/manpath/manpath.config @@ -1,18 +1,13 @@ -# $Id: manpath.config,v 1.11 1999/07/25 19:33:06 markm Exp $ +# $Id: manpath.config,v 1.12 1999/08/16 11:34:56 ru Exp $ # -# This file is read by manpath(1) to configure the mandatory and -# optional manpath, to map each path element to a manpath element -# and to determine where the "man" binary lives. The format is: +# This file is read by manpath(1) to configure the mandatory manpath, +# optional manpath and to map each path element to a manpath element. +# The format is: # -# MANBIN pathname # MANDATORY_MANPATH manpath_element # OPTIONAL_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 |
