info-document-not-compressed-with-max-compression

All reports of info-document-not-compressed-with-max-compression for the archive. The extended description of this tag is:

Info documents should be compressed with gzip -9. This file is compressed with gzip, but without using maximum compression.

Refer to Debian Policy Manual section 12.2 (Info documents) for details.

Severity: important, Certainty: certain

Check: infofiles, Type: binary

This tag has not been emitted in any package tested by Lintian.