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
-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
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?
3 matches
Mail list logo