summaryrefslogtreecommitdiffstats
path: root/tags/c/compressed-documentation.tag
diff options
context:
space:
mode:
Diffstat (limited to 'tags/c/compressed-documentation.tag')
-rw-r--r--tags/c/compressed-documentation.tag10
1 files changed, 10 insertions, 0 deletions
diff --git a/tags/c/compressed-documentation.tag b/tags/c/compressed-documentation.tag
new file mode 100644
index 0000000..1a0526b
--- /dev/null
+++ b/tags/c/compressed-documentation.tag
@@ -0,0 +1,10 @@
+Tag: compressed-documentation
+Severity: warning
+Check: documentation
+Renamed-From: file-should-not-be-compressed
+Explanation: The following file should not be compressed.
+ .
+ This file should be excluded from compression during build time.
+ If using debhelper (<< 9.20140227), you may need to use the -X
+ option to dh_compress. Newer versions of debhelper handle this
+ correctly by default.