diff options
Diffstat (limited to 'tags/i/info-document-not-compressed-with-gzip.tag')
| -rw-r--r-- | tags/i/info-document-not-compressed-with-gzip.tag | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tags/i/info-document-not-compressed-with-gzip.tag b/tags/i/info-document-not-compressed-with-gzip.tag new file mode 100644 index 0000000..e06929c --- /dev/null +++ b/tags/i/info-document-not-compressed-with-gzip.tag @@ -0,0 +1,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 |