diff options
Diffstat (limited to 'schemas/relaxng/rrdp.rnc')
-rw-r--r-- | schemas/relaxng/rrdp.rnc | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/schemas/relaxng/rrdp.rnc b/schemas/relaxng/rrdp.rnc index 5b47c90b..2829605d 100644 --- a/schemas/relaxng/rrdp.rnc +++ b/schemas/relaxng/rrdp.rnc @@ -61,11 +61,21 @@ start |= element deltas { attribute to { serial }, element delta { attribute serial { serial }, - ( element publish { attribute uri { uri }, base64 } | - element withdraw { attribute uri { uri } } )+ + delta_element+ }+ } +delta_element |= element publish { + attribute uri { uri }, + attribute hash { hash }?, + base64 +} + +delta_element |= element withdraw { + attribute uri { uri }, + attribute hash { hash } +} + # Local Variables: # indent-tabs-mode: nil # comment-start: "# " |