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