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
pgpdUTP9VaxVO.pgp
Description: PGP signature
