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 I do?

make sure, that no bug report already exists with that topic.
and then report it as bug.

regards, andreas
(in the meantime, you can live with a few bytes more on your harddisk :-)


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
[EMAIL PROTECTED] . 
Trouble?  e-mail to [EMAIL PROTECTED] .


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
> 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] .


gzipped man pages

1997-07-24 Thread Adam Klein
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 I do?

Adam Klein


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
[EMAIL PROTECTED] . 
Trouble?  e-mail to [EMAIL PROTECTED] .