[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?

  Christian

Attachment: pgptHxRptFq8d.pgp
Description: PGP signature


Reply to: