diff options
Diffstat (limited to '')
| -rw-r--r-- | docs/manual/style/common.dtd | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/manual/style/common.dtd b/docs/manual/style/common.dtd index ed13936eea..8b9285a45b 100644 --- a/docs/manual/style/common.dtd +++ b/docs/manual/style/common.dtd @@ -171,3 +171,13 @@ program | img | cite | q | dfn | var | transnote | glossary | phonetic"> <!-- The path and title of the parent document --> <!ELEMENT parentdocument (#PCDATA)> <!ATTLIST parentdocument href CDATA #REQUIRED > + +<!-- The glossary element defines a special case of link. The referenced + target is the name of an anchor within the glossary --> +<!ELEMENT glossary %Inline;> +<!ATTLIST glossary ref CDATA #REQUIRED> + +<!-- The phonetic element should be used only within the glossary. It + describes a pronounciation --> +<!ELEMENT phonetic (#PCDATA)> + |