Re: May I remove a "feature" from man? [was: Bug#10039]

To: Fabrizio Polacco <fpolacco@icenet.fi>
Cc: Debian Development <debian-devel@lists.debian.org>, Giuliano Procida <gpp10@cus.cam.ac.uk>
Subject: Re: May I remove a "feature" from man? [was: Bug#10039]
From: "Christian Hudon" <chudon@ee.mcgill.ca>
Date: Sun, 25 May 1997 23:35:08 +0000
Message-id: <[🔎] 19970525233508.20357@pianocktail.org>
In-reply-to: <[🔎] 33888238.156CD45F@icenet.fi>; from "Fabrizio Polacco" on Sun, May 25, 1997 at 09:17:28PM +0300
References: <[🔎] 33888238.156CD45F@icenet.fi>

On May 25, Fabrizio Polacco wrote
> Hi folks!
> 
> Bug#10039 exposed a problem with the "feature" of man to index all the
> 'man' and 'MAN' subdirectory it finds in the HOME and current directory,
> when it is invoked.

How about having it just index $HOME/man by default, and adding a switch to
turn on more "thorough" indexing?

  Christian

Attachment: pgpqEfRCwWVnF.pgp
Description: PGP signature

Reply to:

References:
- May I remove a "feature" from man? [was: Bug#10039]
  - From: Fabrizio Polacco <fpolacco@icenet.fi>

Prev by Date: Re: GOAL: Consistent Keyboard Configuration
Next by Date: Re: Where is the mysql package?
Previous by thread: Re: May I remove a "feature" from man? [was: Bug#10039]
Next by thread: Re: May I remove a "feature" from man? [was: Bug#10039]
Index(es):
- Date
- Thread