diff options
Diffstat (limited to 'helpers')
| -rw-r--r-- | helpers/xmlhelp.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/helpers/xmlhelp.dtd b/helpers/xmlhelp.dtd index 99eac47f9b..cf15dcd4a0 100644 --- a/helpers/xmlhelp.dtd +++ b/helpers/xmlhelp.dtd @@ -203,7 +203,7 @@ Version Nov 2018 <!ATTLIST paragraph role CDATA #REQUIRED level CDATA #IMPLIED - id CDATA #REQUIRED + id ID #REQUIRED l10n CDATA #IMPLIED xml-lang CDATA #IMPLIED oldref CDATA #IMPLIED |