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)+ # =============================================================================