On Fri, Jul 05, 2002 at 07:23:59PM -0400, Eric Siegerman wrote: > On Fri, Jul 05, 2002 at 04:52:58PM -0600, Tom Tromey wrote: > > Does it make sense to just always gzip the > > installed info pages? > > That'd be pretty annoying for those of us who want to use grep > and other standard UNIX tools on them... Please don't > gratuitously turn text files into non-text!
IMV it would be best to have such a feature as a settable option. If text files are gzip'ed, isn't there something like zgrep for searching through them? > -- > > | | /\ > |-_|/ > Eric Siegerman, Toronto, Ont. [EMAIL PROTECTED] > | | / > Anyone who swims with the current will reach the big music steamship; > whoever swims against the current will perhaps reach the source. > - Paul Schneider-Esleben > -- John