| 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~