RelaxNG/publidoc.rnc
changeset 58 c099d1e7e57e
parent 56 5e5ea407a594
child 63 60d5d3f81e19
--- a/RelaxNG/publidoc.rnc	ven. déc. 02 14:51:43 2011 +0100
+++ b/RelaxNG/publidoc.rnc	ven. déc. 02 16:37:54 2011 +0100
@@ -283,16 +283,16 @@
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-section = element section { section.content, section.attributes }
+section = element section { section.attributes, section.content }
+
+section.attributes =
+   section.type.attribute?
+section.type.attribute = attribute type { xsd:NCName }
 
 section.content =
    section.head?,
    (section+ | block+)
 
-section.attributes =
-   section.type.attribute?
-section.type.attribute = attribute type { xsd:NCName }
-
 
 # =============================================================================
 #                                 BLOCK LEVEL