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