From 9deab5cc4784f9cc208ac1f040ef3379f1e59fff Mon Sep 17 00:00:00 2001 From: ru Date: Fri, 20 Aug 1999 10:44:51 +0000 Subject: Remove unused MANBIN directive. --- gnu/usr.bin/man/manpath/manpath.config | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) (limited to 'gnu/usr.bin/man/manpath/manpath.config') 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 -- cgit v1.1