RelaxNG/publiquiz.rnc
changeset 340 831dd5ed3256
parent 339 d120083d9a6c
child 341 b9e71a8ec71f
--- a/RelaxNG/publiquiz.rnc	ven. oct. 24 17:41:57 2014 +0200
+++ b/RelaxNG/publiquiz.rnc	dim. oct. 26 07:33:08 2014 +0100
@@ -649,6 +649,7 @@
 
 point.attributes =
    point.ref.attribute?
-point.ref.attribute = attribute ref { "right" | "1" | "2" | "3" | "4" | "5" }
+point.ref.attribute = attribute ref {
+   "right" | "cat1" | "cat2" | "cat3" | "cat4" | "cat5" }
 
 point.content = simple.inlines