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: