diff -r 968d3380597e -r 4e3338f519f9 RelaxNG/publiquiz.rnc --- 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~