diff options
Diffstat (limited to 'gleps.rnc')
| -rw-r--r-- | gleps.rnc | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gleps.rnc b/gleps.rnc deleted file mode 100644 index 19d90c0..0000000 --- a/gleps.rnc +++ /dev/null @@ -1,14 +0,0 @@ -namespace a = "http://relaxng.org/ns/compatibility/annotations/1.0" - -gleps = element gleps { attlist.gleps, glep+ } -attlist.gleps &= empty -glep = element glep { attlist.glep, (text | uri)* } -attlist.glep &= - attribute id { text }, - attribute file { text }, - [ a:defaultValue = "S" ] attribute type { "S" | "I" }?, - [ a:defaultValue = "D" ] - attribute status { "D" | "d" | "A" | "F" | "R" | "W" | "M" }? -uri = element uri { attlist.uri, text } -attlist.uri &= attribute link { text } -start = gleps |