Re: GZIPing docs

[John Poltorak]

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.        address@hidden
> |  |  /
> 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