diff options
Diffstat (limited to '')
-rw-r--r-- | tags/d/doc-base-file-no-index.tag | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tags/d/doc-base-file-no-index.tag b/tags/d/doc-base-file-no-index.tag new file mode 100644 index 0000000..3852ab6 --- /dev/null +++ b/tags/d/doc-base-file-no-index.tag @@ -0,0 +1,11 @@ +Tag: doc-base-file-no-index +Severity: error +Check: menus +Explanation: The <code>Format</code> sections in the given <code>doc-base</code> + control files for <code>HTML</code> or <code>Info</code> documents must also + contain an <code>Index</code> field that shows an appropriate starting point + for the document series. + . + The field must be present even if the documentation is a single file. +See-Also: + doc-base-manual 2.3.2.2 |