Re: gzipped man pages
-----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
> a bug?
Yes.
If you want to help, see the bug database first.
It may be fixed in a later version (unstable).
> In the meantime, what should I do?
Nothing. If you compress them "by hand", then they will not be deleted if
you remove the package...
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3ia
Charset: noconv
iQCVAwUBM9eLbiqK7IlOjMLFAQEW3wP/VAmXtkhUrY6D1CwSuJ2H/d/s5OQrxLqI
BWZhiT7QoDPuUrKFYOZ/CzUGn9yUklL/JcHDFmyduCFk6NTVTDXURT+HEe/sOlR8
ZJ08cRn7HsmV30RNUmt/tnBbElKzqLv7wFyrATyKRDU+h4c6cJhNvSbU0PvGadoH
J9ebnmz0Tfs=
=5H21
-----END PGP SIGNATURE-----
Santiago Vila <sanvila@ctv.es>
--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-user-request@lists.debian.org .
Trouble? e-mail to templin@bucknell.edu .
Reply to: