RelaxNG/publidoc.rng
changeset 56 5e5ea407a594
parent 53 37e9f6428d02
child 58 c099d1e7e57e
--- a/RelaxNG/publidoc.rng	mar. nov. 22 18:51:30 2011 +0100
+++ b/RelaxNG/publidoc.rng	mar. nov. 22 23:52:17 2011 +0100
@@ -48,14 +48,12 @@
     <optional>
       <ref name="top.head"/>
     </optional>
-    <choice>
-      <oneOrMore>
+    <oneOrMore>
+      <choice>
         <ref name="division"/>
-      </oneOrMore>
-      <oneOrMore>
         <ref name="topic"/>
-      </oneOrMore>
-    </choice>
+      </choice>
+    </oneOrMore>
   </define>
   <!-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -->
   <define name="top.topic">
@@ -540,14 +538,12 @@
     <optional>
       <ref name="division.head"/>
     </optional>
-    <choice>
-      <oneOrMore>
+    <oneOrMore>
+      <choice>
         <ref name="division"/>
-      </oneOrMore>
-      <oneOrMore>
         <ref name="topic"/>
-      </oneOrMore>
-    </choice>
+      </choice>
+    </oneOrMore>
   </define>
   <!--
     =============================================================================