diff options
Diffstat (limited to 'helpers/xmlhelp.dtd')
| -rw-r--r-- | helpers/xmlhelp.dtd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/helpers/xmlhelp.dtd b/helpers/xmlhelp.dtd index 488e7286f8..6a4ef9778b 100644 --- a/helpers/xmlhelp.dtd +++ b/helpers/xmlhelp.dtd @@ -215,6 +215,7 @@ Version Nov 2018 <!ELEMENT sort (section+)> <!ATTLIST sort order (asc | desc) #IMPLIED + descendant (paragraph | h1 | h2 | h3 | h4 | h5 | h6 ) #IMPLIED > <!ELEMENT switch ((case | comment)* | default?)*> |