1 2 3 4 5
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