Similarly, my manpage is mis-reported as a GRUB stage 2.
(that's /usr/share/man/man3/pcre_copy_substring.3.gz in libpcre3-dev).gunzip --test would be a more reliable check for whether something is really in gzip format. It's potentially far slower of course, but for changelogs and man pages I wouldn't have thought it would be a problem.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
