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 debian-user-request@lists.debian.org . Trouble? e-mail to templin@bucknell.edu .