-----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 <[EMAIL PROTECTED]> -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .
