diff options
Diffstat (limited to 'dtd')
| -rw-r--r-- | dtd/setup.dtd | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/dtd/setup.dtd b/dtd/setup.dtd index a0c7c86..d56fc40 100644 --- a/dtd/setup.dtd +++ b/dtd/setup.dtd @@ -1,9 +1,15 @@ <?xml encoding="UTF-8"?>
-<!ELEMENT setup (parameters,translations)>
-<!ELEMENT parameters (parameter)*>
+<!ELEMENT setup (menu,translations)>
+<!ELEMENT menu (submenu | parameter)*>
<!ELEMENT translations (token)*>
+<!ELEMENT submenu (submenu | parameter)*>
+<!ATTLIST submenu
+ name NMTOKEN #REQUIRED
+ displaytext CDATA #REQUIRED
+ >
+
<!ELEMENT parameter (#PCDATA)>
<!ATTLIST parameter
name NMTOKEN #REQUIRED
|