RelaxNG/publidoc.rnc
changeset 358 73f2c224e7d7
parent 355 469d03c6f570
child 363 1b39a8fc339f
--- a/RelaxNG/publidoc.rnc	sam. déc. 20 12:15:06 2014 +0100
+++ b/RelaxNG/publidoc.rnc	dim. déc. 21 15:15:05 2014 +0100
@@ -463,8 +463,7 @@
 
 table.content =
    block.head?,
-   thead?,
-   (tbody+ | tr+),
+   ((thead?, tbody+) | tr+),
    table.caption?
 
 # ~~~~~~ thead, tbody