RelaxNG/publiquiz.rnc
changeset 407 3c439435e472
parent 403 d129a5a5ab08
child 409 e55d34c4db69
--- a/RelaxNG/publiquiz.rnc	mar. janv. 26 15:11:02 2016 +0100
+++ b/RelaxNG/publiquiz.rnc	lun. févr. 08 18:40:38 2016 +0100
@@ -287,7 +287,9 @@
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-production = element production { empty }
+production = element production { production.content }
+
+production.content = text
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ composite ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~