RelaxNG/publiquiz.rnc
changeset 384 2f3e64c81871
parent 381 429101cc5d26
child 388 954f6aef52d6
--- a/RelaxNG/publiquiz.rnc	dim. mai 24 19:12:25 2015 +0200
+++ b/RelaxNG/publiquiz.rnc	mer. mai 27 22:29:05 2015 +0200
@@ -245,9 +245,9 @@
 category.head = element head { category.head.content }
 
 category.head.content =
-   title,
-   shorttitle?,
-   subtitle*
+   title
+ & shorttitle?
+ & subtitle*
 
 # ~~~~~~ categories
 categories = element categories { categories.attributes, categories.content }