Remove unused MANBIN directive.

2 files changed, 4 insertions, 12 deletions

diff --git a/gnu/usr.bin/man/manpath/manpath.c b/gnu/usr.bin/man/manpath/manpath.c
index c4ddcf1..990805f 100644
--- a/gnu/usr.bin/man/manpath/manpath.c
+++ b/gnu/usr.bin/man/manpath/manpath.c
@@ -200,9 +200,6 @@ get_dirlist ()
       if (*bp == '#' || *bp == '\n')
 	continue;
 
-      if (!strncmp ("MANBIN", bp, 6))
-	continue;
-
       if (!strncmp ("MANDATORY_MANPATH", bp, 17) ||
 	  !strncmp ("OPTIONAL_MANPATH", bp, 16))
 	{
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