RelaxNG/publidoc.rnc
changeset 56 5e5ea407a594
parent 53 37e9f6428d02
child 58 c099d1e7e57e
--- a/RelaxNG/publidoc.rnc	mar. nov. 22 18:51:30 2011 +0100
+++ b/RelaxNG/publidoc.rnc	mar. nov. 22 23:52:17 2011 +0100
@@ -31,7 +31,7 @@
 
 document.content =
    top.head?,
-   (division+ | topic+)
+   (division | topic)+
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
@@ -257,7 +257,7 @@
 
 division.content =
    division.head?,
-   (division+ | topic+)
+   (division | topic)+
 
 
 # =============================================================================