info-document-not-compressed-with-gzip
Info documents should be compressed with gzip -9n. This
file ends in .gz but doesn't appear to be a gzip-compressed
file.
| Severity: | error |
| Experimental: | false |
See also
Info documents (Section 12.2) in the Debian Policy Manual
- list of all the affected packages
- the source of this tag