blob: e06929c09a53ffb9f10cc6cc4284b98bf2a4dcc2 (
plain)
1
2
3
4
5
6
7
|
Tag: info-document-not-compressed-with-gzip
Severity: error
Check: documentation/texinfo
Explanation: Info documents should be compressed with <code>gzip -9n</code>. This
file ends in <code>.gz</code> but doesn't appear to be a gzip-compressed
file.
See-Also: debian-policy 12.2
|