diff options
| -rw-r--r-- | submenu.dtd | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/submenu.dtd b/submenu.dtd new file mode 100644 index 0000000..449d2cb --- /dev/null +++ b/submenu.dtd @@ -0,0 +1,21 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!ELEMENT menu ((menu | system | plugin | command)+)> +<!ATTLIST menu + name CDATA #REQUIRED +> +<!ELEMENT system EMPTY> +<!ATTLIST system + name CDATA #REQUIRED +> +<!ELEMENT plugin EMPTY> +<!ATTLIST plugin + name CDATA #REQUIRED +> +<!ELEMENT command EMPTY> +<!ATTLIST command + name CDATA #REQUIRED + execute CDATA #REQUIRED + confirm (yes | no) #IMPLIED +> +<!ELEMENT menus ((menu | system | plugin | command)+)> + |