diff options
Diffstat (limited to 'tags/c/compressed-documentation.tag')
-rw-r--r-- | tags/c/compressed-documentation.tag | 10 |
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. |