info-document-not-compressed

Info documents should be compressed with gzip -9n.

Severity: error
Experimental: false

See also