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

1997-05-26 Thread Bruce Perens
From: Fabrizio Polacco <[EMAIL PROTECTED]> > Anyway, the whole feature seems strange to me, because usually man > hierarchies are at the same level of binary dirs, not under them. It doesn't make any sense. If it were implemented sensibly it would be looking at /../man . I think the proper behavi

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

1997-05-26 Thread Mark Baker
In article <[EMAIL PROTECTED]>, Fabrizio Polacco <[EMAIL PROTECTED]> writes: > Anyway, the whole feature seems strange to me, because usually man > hierarchies are at the same level of binary dirs, not under them. I agree; remove it completely. If it looked in a more sensible place for t

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

1997-05-26 Thread Fabrizio Polacco
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 i

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

1997-05-26 Thread Christian Hudon
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 tur

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

1997-05-25 Thread Bruce Perens
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? Is $HOME auto

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

1997-05-25 Thread Mark Baker
In article <[EMAIL PROTECTED]>, Fabrizio Polacco <[EMAIL PROTECTED]> writes: > 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. I can see automatically supporting $HOME/

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

1997-05-25 Thread Guy Maor
Just add an option to man which turns it on. It can be off by default. Guy -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .

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

1997-05-25 Thread Fabrizio Polacco
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. This "feature" is of incredibly annoyance because it leaves a file index.bt in those subdirectories. I think that many of y