From 7a4acb8075c979c39646b6e812a5b5c5a1ac5357 Mon Sep 17 00:00:00 2001 From: Ruslan Ermilov Date: Fri, 20 Aug 1999 10:44:51 +0000 Subject: [PATCH] Remove unused MANBIN directive. --- gnu/usr.bin/man/manpath/manpath.c | 3 --- gnu/usr.bin/man/manpath/manpath.config | 13 ++++--------- 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 c4ddcf1398b4..990805fae6a7 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 a1fcdd3ea2f4..d3597e74dd84 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