Re: Gzipping man files
> Good point, but the counterargument is that none of those have an
> additional heavy formatting step to go through. IMHO groff is already
> slow enough; running a gzip alongside it would, I imagine, make it
> even worse.
On the contrary... Gzip is very fast compared to groff and so would
not even be a noticeable addition.
Brian
( bcwhite@verisim.com )
-------------------------------------------------------------------------------
In theory, theory and practice are the same. In practice, they're not.
Reply to: