diff options
Diffstat (limited to 'doc/appdocsxml.dtd')
-rw-r--r-- | doc/appdocsxml.dtd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/appdocsxml.dtd b/doc/appdocsxml.dtd index d0ce64089..8ac6ac587 100644 --- a/doc/appdocsxml.dtd +++ b/doc/appdocsxml.dtd @@ -49,6 +49,7 @@ <!ATTLIST argument multiple (yes|no|true|false) "false"> <!ATTLIST argument required (yes|no|true|false) "false"> <!ATTLIST argument hasparams (yes|no|true|false|optional) "false"> + <!ATTLIST argument argsep CDATA ","> <!ELEMENT para (#PCDATA|astcli|literal|emphasis|filename|directory|replaceable|variable)*> <!ELEMENT literal (#PCDATA)> |