--- 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>
<!--
=============================================================================