RelaxNG/publidoc.rnc
changeset 137 75320469dbdc
parent 135 181072348399
child 138 06fb88fe4136
--- 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