Tag: info-document-not-compressed-with-max-compression
Severity: error
Check: documentation/texinfo
Explanation: Info documents should be compressed with <code>gzip -9n</code>. This
 file is compressed with gzip, but without using maximum compression.
See-Also: debian-policy 12.2