diff options
Diffstat (limited to 'docs/manual')
| -rw-r--r-- | docs/manual/style/common.dtd | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/manual/style/common.dtd b/docs/manual/style/common.dtd index 950bf80ed9..d1a426c658 100644 --- a/docs/manual/style/common.dtd +++ b/docs/manual/style/common.dtd @@ -78,10 +78,11 @@ highlight | blockquote"> outdated (true) #IMPLIED> <!ELEMENT directive (#PCDATA)> +<!-- name attribute is preferred over contents when generating links --> <!ATTLIST directive module CDATA #IMPLIED type CDATA #IMPLIED status CDATA #IMPLIED - name CDATA #IMPLIED -- preferred over contents -- > + name CDATA #IMPLIED > <!ELEMENT program (#PCDATA)> |