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