diff options
Diffstat (limited to '')
-rw-r--r-- | tags/i/info-document-not-compressed-with-max-compression.tag | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tags/i/info-document-not-compressed-with-max-compression.tag b/tags/i/info-document-not-compressed-with-max-compression.tag new file mode 100644 index 0000000..7326198 --- /dev/null +++ b/tags/i/info-document-not-compressed-with-max-compression.tag @@ -0,0 +1,6 @@ +Tag: info-document-not-compressed-with-max-compression +Severity: error +Check: documentation/texinfo +Explanation: Info documents should be compressed with <code>gzip -9n</code>. This + file is compressed with gzip, but without using maximum compression. +See-Also: debian-policy 12.2 |