summaryrefslogtreecommitdiffstats
path: root/menu
diff options
context:
space:
mode:
Diffstat (limited to 'menu')
-rw-r--r--menu/menu.dtd11
1 files changed, 6 insertions, 5 deletions
diff --git a/menu/menu.dtd b/menu/menu.dtd
index 436f61d..5793017 100644
--- a/menu/menu.dtd
+++ b/menu/menu.dtd
@@ -48,14 +48,15 @@
<!ELEMENT Deleted EMPTY>
<!ELEMENT NotDeleted EMPTY>
-<!ELEMENT Exclude ((Category|Filename|And|Or|Not)*)>
-<!ELEMENT Include ((Category|Filename|And|Or|Not)*)>
+<!ELEMENT Exclude ((Category|Filename|And|Or|Not|All)*)>
+<!ELEMENT Include ((Category|Filename|And|Or|Not|All)*)>
-<!ELEMENT And ((Category|Filename|And|Or|Not)*)>
-<!ELEMENT Or ((Category|Filename|And|Or|Not)*)>
-<!ELEMENT Not ((Category|Filename|And|Or|Not)*)>
+<!ELEMENT And ((Category|Filename|And|Or|Not|All)*)>
+<!ELEMENT Or ((Category|Filename|And|Or|Not|All)*)>
+<!ELEMENT Not ((Category|Filename|And|Or|Not|All)*)>
<!ELEMENT Filename (#PCDATA)>
<!ELEMENT Category (#PCDATA)>
+<!ELEMENT All EMPTY>
<!ELEMENT Move ((Old,New)*)>
<!ELEMENT Old (#PCDATA)>