RelaxNG/publiquiz.rnc
changeset 84 666cb4bd1342
parent 81 a9276e7bcdf1
child 85 deac30469ca6
--- a/RelaxNG/publiquiz.rnc	jeu. janv. 26 20:17:51 2012 +0100
+++ b/RelaxNG/publiquiz.rnc	jeu. janv. 26 21:52:36 2012 +0100
@@ -7,6 +7,10 @@
    document.content =
       top.head?,
       (division | topic | quiz)+
+
+   division.content =
+      division.head?,
+      (division | topic | quiz)+
 }