diff -r 493f1b4c25de -r 75320469dbdc RelaxNG/publidoc.rnc --- a/RelaxNG/publidoc.rnc ven. sept. 28 19:28:16 2012 +0200 +++ b/RelaxNG/publidoc.rnc sam. sept. 29 10:07:05 2012 +0200 @@ -67,7 +67,9 @@ top.topic.content = top.head?, - section+ + header?, + section+, + footer? # ============================================================================= @@ -118,13 +120,22 @@ topic.content = component.head?, - section+ + header?, + section+, + footer? # ============================================================================= # SECTION LEVEL # ============================================================================= +# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ header ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + +header = element header { header.content } + +header.content = + block+ + # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ # ~~~~~~ section @@ -148,6 +159,13 @@ & audio* & annotation* +# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ footer ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + +footer = element footer { footer.content } + +footer.content = + block+ + # ============================================================================= # BLOCK LEVEL