1 files changed, 6 insertions, 0 deletions
diff --git a/tags/u/uncompressed-manual-page.tag b/tags/u/uncompressed-manual-page.tag
new file mode 100644
index 0000000..979edc0
--- /dev/null
+++ b/tags/u/uncompressed-manual-page.tag
@@ -0,0 +1,6 @@
+Tag: uncompressed-manual-page
+Severity: error
+Check: documentation/manual
+Renamed-From: manpage-not-compressed
+Explanation: Manual pages have to be installed compressed (using "<code>gzip -9n</code>").
+See-Also: debian-policy 12.1