Tag: info-document-not-compressed
Severity: error
Check: documentation/texinfo
Explanation: Info documents should be compressed with <code>gzip -9n</code>.
See-Also: debian-policy 12.2