summaryrefslogtreecommitdiffstats
path: root/tags/p/poor-compression-in-manual-page.tag
diff options
context:
space:
mode:
Diffstat (limited to 'tags/p/poor-compression-in-manual-page.tag')
-rw-r--r--tags/p/poor-compression-in-manual-page.tag7
1 files changed, 7 insertions, 0 deletions
diff --git a/tags/p/poor-compression-in-manual-page.tag b/tags/p/poor-compression-in-manual-page.tag
new file mode 100644
index 0000000..8a2ec71
--- /dev/null
+++ b/tags/p/poor-compression-in-manual-page.tag
@@ -0,0 +1,7 @@
+Tag: poor-compression-in-manual-page
+Severity: error
+Check: documentation/manual
+Renamed-From: manpage-not-compressed-with-max-compression
+Explanation: Manual pages should be compressed with <code>gzip -9n</code>. It
+ selects the highest compression available.
+See-Also: debian-policy 12.1