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

To: debian-devel@lists.debian.org
Subject: Re: May I remove a "feature" from man? [was: Bug#10039]
From: Guy Maor <maor@ece.utexas.edu>
Date: 25 May 1997 16:56:58 -0500
Message-id: <[🔎] 87yb93dxkx.fsf@slip-99-15.ots.utexas.edu>
In-reply-to: Fabrizio Polacco's message of Sun, 25 May 1997 21:17:28 +0300
References: <[🔎] 33888238.156CD45F@icenet.fi>

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
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .

Reply to:

References:
- May I remove a "feature" from man? [was: Bug#10039]
  - From: Fabrizio Polacco <fpolacco@icenet.fi>

Prev by Date: Re: GOAL: Consistent Keyboard Configuration
Next by Date: Questions (Debian Install) (fwd)
Previous by thread: May I remove a "feature" from man? [was: Bug#10039]
Next by thread: Re: May I remove a "feature" from man? [was: Bug#10039]
Index(es):
- Date
- Thread