> Package: libpaper > Version: 1.0-1 > > The package contains: > -r--r--r-- root/root 718 Aug 13 18:04 1996 usr/man/man1/paper.1.gz > > 2. Either it should not be compressed (see the guidelines) or we > should mandate compressed manpages.
I remember that a long time ago it was said that it was okay to gzip manual pages because the manual reader did handle them nicely? If not, I vote for having gzipped manual pages. The problem if it is not specified clearly is that one cannot just gzip -9f /usr/man/man?/* because then when packages are removed the original manual pages are not found and the gzipped ones not removed; and it would be foolish to make dpkg handle that special case. If nobody objects, can we have gzipped (not compressed) manual pages by default? In the meantime, should I not compress the manual pages? Yves.
