E info-document-not-compressed-with-gzip
Info documents should be compressed with gzip -9n
. This
file ends in .gz
but doesn't appear to be a gzip-compressed
file.
Visibility: error
Check: documentation/texinfo
Info documents should be compressed with gzip -9n
. This
file ends in .gz
but doesn't appear to be a gzip-compressed
file.
Visibility: error
Check: documentation/texinfo