Bruce Perens wrote: > > From: Fabrizio Polacco <[EMAIL PROTECTED]> > > 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. > > Is this is consequence of your $MANPATH or is it in the "man" program?
Well, the feature hardcoded in the program is that for each entry in the PATH, it looks for a "man" subdir and, if not already present in the MANPATH, index it. The code (which is ugly written IMO) has a bug with the entry for the current directory: if the PATH lists the current dir as the "empty entry", all search is done using a null string (which does nothing), but if the current dir is listed as "." , the dot is compared with the MANPATH entries (and fails because /usr/man != /usr/./man) I can easily correct the bug in two different ways: to make man searches the current dir even when the empty entry is used in PATH (and correct the compare with MANPATH) or remove the feature for the current directory. I would prefere the latter because I was really annoyed of it (had to remove all index.bt in clean: target of debian/rules). Anyway, the whole feature seems strange to me, because usually man hierarchies are at the same level of binary dirs, not under them. > > Is $HOME automaticaly in the MANPATH? If so, that's not bad. I was over-hasty in saying that (happens often on late evenings :-) because of a comment in the source code. But it is true "if $HOME is in PATH". >The current directory should not be in MANPATH and should not be > indexed. > Well, if someone put it in the MANPATH ... should man ignore it? Thanks, Fabrizio -- +----------------------------------------------------------------------+ | [EMAIL PROTECTED] [EMAIL PROTECTED] - Using Debian GNU/Linux ! | | 6F7267F5 fingerprint 57 16 C4 ED C9 86 40 7B 1A 69 A1 66 EC FB D2 5E | > La Liberta' non e' uno spazio libero, Liberta' e' partecipazione.[gg]| +----------------------------------------------------------------------+ -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .