diff options
Diffstat (limited to '')
-rw-r--r-- | tags/d/duplicate-format-in-doc-base.tag | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tags/d/duplicate-format-in-doc-base.tag b/tags/d/duplicate-format-in-doc-base.tag new file mode 100644 index 0000000..d57df93 --- /dev/null +++ b/tags/d/duplicate-format-in-doc-base.tag @@ -0,0 +1,11 @@ +Tag: duplicate-format-in-doc-base +Severity: error +Check: menus +Renamed-From: + doc-base-file-duplicated-format +Explanation: The <code>doc-base</code> control file contains the same file in + two different formats. + . + The files listed in <code>doc-base</code> must have distinct contents. +See-Also: + doc-base-manual 2.3.2.2 |