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

1997-05-26 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 automaticaly

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 turn on

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 in the man

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 the

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 path-element/../man . I think the

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 you

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] .

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/man