diff options
Diffstat (limited to 'doc/appdocsxml.dtd')
| -rw-r--r-- | doc/appdocsxml.dtd | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/appdocsxml.dtd b/doc/appdocsxml.dtd index 1de0ea452..328752c30 100644 --- a/doc/appdocsxml.dtd +++ b/doc/appdocsxml.dtd @@ -14,10 +14,12 @@ <!ELEMENT application (synopsis?,syntax?,description?,see-also?)> <!ATTLIST application name CDATA #REQUIRED> <!ATTLIST application language CDATA #REQUIRED> + <!ATTLIST application module CDATA #IMPLIED> <!ELEMENT function (synopsis?,syntax?,description?,see-also?)> <!ATTLIST function name CDATA #REQUIRED> <!ATTLIST function language CDATA #REQUIRED> + <!ATTLIST function module CDATA #IMPLIED> <!ELEMENT agi (synopsis?,syntax?,description?,see-also?)> <!ATTLIST agi name CDATA #REQUIRED> |