summaryrefslogtreecommitdiffstats
path: root/tags/i/info-document-not-compressed.tag
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-14 13:42:30 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-14 13:42:30 +0000
commit75808db17caf8b960b351e3408e74142f4c85aac (patch)
tree7989e9c09a4240248bf4658a22208a0a52d991c4 /tags/i/info-document-not-compressed.tag
parentInitial commit. (diff)
downloadlintian-upstream.tar.xz
lintian-upstream.zip
Adding upstream version 2.117.0.upstream/2.117.0upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tags/i/info-document-not-compressed.tag')
-rw-r--r--tags/i/info-document-not-compressed.tag5
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