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