Tag: info-document-not-compressed-with-gzip
Severity: error
Check: documentation/texinfo
Explanation: Info documents should be compressed with <code>gzip -9n</code>. This
 file ends in <code>.gz</code> but doesn't appear to be a gzip-compressed
 file.
See-Also: debian-policy 12.2