diff options
| -rw-r--r-- | docs/manual/style/common.dtd | 8 | ||||
| -rw-r--r-- | docs/manual/style/manualpage.dtd | 6 |
2 files changed, 5 insertions, 9 deletions
diff --git a/docs/manual/style/common.dtd b/docs/manual/style/common.dtd index c3e85cc90f..4fa0c41e3c 100644 --- a/docs/manual/style/common.dtd +++ b/docs/manual/style/common.dtd @@ -21,9 +21,11 @@ <!ELEMENT modulelist (module)+> -<!ELEMENT section (section | title | %blocktags;)*> - -<!ATTLIST section id CDATA #IMPLIED> +<!-- a page may have one or more sections. Each section is named by an + unique id. A section must have a title and some text. It may have + subsections and a list of related modules and directives --> +<!ELEMENT section (title, (section | related | %blocktags;)*)> +<!ATTLIST section id ID #IMPLIED> <!ELEMENT module (#PCDATA)> diff --git a/docs/manual/style/manualpage.dtd b/docs/manual/style/manualpage.dtd index 30028b5d0e..8890f44559 100644 --- a/docs/manual/style/manualpage.dtd +++ b/docs/manual/style/manualpage.dtd @@ -6,12 +6,6 @@ <!-- <manualpage> is the root element --> <!ELEMENT manualpage (title, summary?, seealso*, section*)> -<!-- a page may have one or more sections. Each section is named by an - unique id. A section must have a title and some text. It may have - subsections and a list of related modules and directives --> -<!ELEMENT section (title, (section | related | %blocktags;)*)> -<!ATTLIST section id ID #IMPLIED> - <!-- the lists of related modules and/or related directives --> <!ELEMENT related (modulelist | directivelist)+> |