RelaxNG/publidoc.rng
changeset 64 2d6627e9d3d6
parent 63 60d5d3f81e19
child 66 29c53c3d676e
--- a/RelaxNG/publidoc.rng	jeu. déc. 22 02:02:02 2011 +0100
+++ b/RelaxNG/publidoc.rng	jeu. déc. 22 13:43:17 2011 +0100
@@ -585,9 +585,14 @@
     </element>
   </define>
   <define name="section.attributes">
-    <optional>
-      <ref name="section.type.attribute"/>
-    </optional>
+    <interleave>
+      <optional>
+        <ref name="section.type.attribute"/>
+      </optional>
+      <optional>
+        <ref name="lang.attribute"/>
+      </optional>
+    </interleave>
   </define>
   <define name="section.type.attribute">
     <attribute name="type">