Re: gzipped man pages

1997-07-24 Thread Andreas Jellinghaus
In article <[EMAIL PROTECTED]> you write: >I've read some of the Debian policy information, which says that all >manpages should have 'gzip -9' run on them. However, some of the manpages >in my /usr/man directories are not gzipped. Should this be reported as >a bug? In the meantime, what should

Re: gzipped man pages

1997-07-24 Thread Santiago Vila Doncel
-BEGIN PGP SIGNED MESSAGE- On Wed, 23 Jul 1997, Adam Klein wrote: > I've read some of the Debian policy information, which says that all > manpages should have 'gzip -9' run on them. However, some of the manpages > in my /usr/man directories are not gzipped. Should this be reported as >