diff options
author | lanius <lanius> | 2004-01-31 23:11:59 +0000 |
---|---|---|
committer | lanius <lanius> | 2004-01-31 23:11:59 +0000 |
commit | e6f9691ec29526a3bf69f7a2f3a1e0cdfc489f8b (patch) | |
tree | 83e099d77ac3510a3378ac6208d6ac9fb885640a | |
parent | 1404e6978908a353ad6b381b845da73816816128 (diff) | |
download | xdg-specs-e6f9691ec29526a3bf69f7a2f3a1e0cdfc489f8b.tar.xz |
fix menu.dtd
-rw-r--r-- | menu/menu.dtd | 11 |
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)> |