Bug#4137: libpaper contains compressed manpage, or policy should change

[Yves Arrouye <arrouye@marin.fdn.fr>]

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