RelaxNG/publiquiz.rnc
changeset 218 ebfe53d246b3
parent 216 414224d5a623
child 238 1e881598ecad
--- a/RelaxNG/publiquiz.rnc	mar. juin 18 14:51:33 2013 +0200
+++ b/RelaxNG/publiquiz.rnc	mar. juin 18 15:44:51 2013 +0200
@@ -213,7 +213,7 @@
 category.head.content =
    title,
    shorttitle?,
-   subtitle?
+   subtitle*
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pip ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~