[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: gzipped man pages

In article <Pine.SUN.3.96.970723210939.8777B-100000@scn> 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
debian-user-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .

Reply to: