RelaxNG/publiquiz.rnc
changeset 465 4e3338f519f9
parent 463 4a7e62074e60
child 468 6b322a48536c
--- a/RelaxNG/publiquiz.rnc	ven. oct. 19 18:19:27 2018 +0200
+++ b/RelaxNG/publiquiz.rnc	dim. oct. 21 16:02:16 2018 +0200
@@ -434,11 +434,15 @@
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dictation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-dictation = element dictation { dictation.content }
+dictation = element dictation { dictation.attributes, dictation.content }
+
+dictation.attributes =
+    case_insensitive.attribute?
+case_insensitive.attribute = attribute case-insensitive { xsd:boolean }
 
 dictation.content =
     audio,
-    dictation.block+
+    dictation.p
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
@@ -507,7 +511,6 @@
 pointing.block = (
    pointing.p | pointing.list | pointing.blockquote | pointing.speech
  | pointing.table | media)
-dictation.block = dictation.p
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~