RelaxNG/publidoc.rng
changeset 58 c099d1e7e57e
parent 56 5e5ea407a594
child 63 60d5d3f81e19
--- a/RelaxNG/publidoc.rng	ven. déc. 02 14:51:43 2011 +0100
+++ b/RelaxNG/publidoc.rng	ven. déc. 02 16:37:54 2011 +0100
@@ -583,10 +583,20 @@
   <!-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -->
   <define name="section">
     <element name="section">
+      <ref name="section.attributes"/>
       <ref name="section.content"/>
-      <ref name="section.attributes"/>
     </element>
   </define>
+  <define name="section.attributes">
+    <optional>
+      <ref name="section.type.attribute"/>
+    </optional>
+  </define>
+  <define name="section.type.attribute">
+    <attribute name="type">
+      <data type="NCName"/>
+    </attribute>
+  </define>
   <define name="section.content">
     <optional>
       <ref name="section.head"/>
@@ -600,16 +610,6 @@
       </oneOrMore>
     </choice>
   </define>
-  <define name="section.attributes">
-    <optional>
-      <ref name="section.type.attribute"/>
-    </optional>
-  </define>
-  <define name="section.type.attribute">
-    <attribute name="type">
-      <data type="NCName"/>
-    </attribute>
-  </define>
   <!--
     =============================================================================
                                     BLOCK LEVEL