[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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

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?


Attachment: pgpfUoG0GBoi1.pgp
Description: PGP signature

Reply to: