From e6f9691ec29526a3bf69f7a2f3a1e0cdfc489f8b Mon Sep 17 00:00:00 2001
From: lanius <lanius>
Date: Sat, 31 Jan 2004 23:11:59 +0000
Subject: fix menu.dtd

---
 menu/menu.dtd | 11 ++++++-----
 1 file 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)>
-- 
cgit v1.2.3-70-g09d2