diff options
Diffstat (limited to '')
-rw-r--r-- | tags/p/possible-documentation-but-no-doc-base-registration.tag | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tags/p/possible-documentation-but-no-doc-base-registration.tag b/tags/p/possible-documentation-but-no-doc-base-registration.tag new file mode 100644 index 0000000..ec6eaa3 --- /dev/null +++ b/tags/p/possible-documentation-but-no-doc-base-registration.tag @@ -0,0 +1,10 @@ +Tag: possible-documentation-but-no-doc-base-registration +Severity: info +Check: menus +Explanation: The package ships a <code>.html</code> or <code>.pdf</code> file under + <code>/usr/share/doc/</code>. Those files are usually documentation, but no files + are registered in <code>doc-base</code>. + . + Files in folders named <code>examples</code> are exempt from this tag. +See-Also: + debian-policy 9.10 |