RelaxNG/publiquiz.rnc
changeset 127 efce69890bfd
parent 125 dd9b04a54839
child 128 14dc149154f4
--- a/RelaxNG/publiquiz.rnc	lun. juil. 30 23:23:57 2012 +0200
+++ b/RelaxNG/publiquiz.rnc	jeu. août 02 17:16:36 2012 +0200
@@ -185,6 +185,7 @@
 
 category.head.content =
    title,
+   shorttitle?,
    subtitle?
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~