renommage glossary.item en item.glossary
authorCoraline MARKWITZ
lun., 20 juin 2016 10:03:22 +0200
changeset 422 4840aea082dd
parent 421 bd989e2633f7
child 423 0b803d5f38d4
renommage glossary.item en item.glossary
RelaxNG/publiquiz.rnc
--- a/RelaxNG/publiquiz.rnc	jeu. juin 16 11:21:09 2016 +0200
+++ b/RelaxNG/publiquiz.rnc	lun. juin 20 10:03:22 2016 +0200
@@ -382,17 +382,17 @@
 blanks.list = element list {
    block.head?,
    (  (attribute type {"ordered"}?, blanks.item, blanks.item+)
-    | (attribute type {"glossary"}, glossary.item+) )
+    | (attribute type {"glossary"}, item.glossary+) )
 }
 blanks-m.list = element list {
    block.head?,
    (  (attribute type {"ordered"}?, blanks.item, blanks.item+)
-    | (attribute type {"glossary"}, glossary.item+) )
+    | (attribute type {"glossary"}, item.glossary+) )
 }
 pointing.list = element list {
    block.head?,
    (  (attribute type {"ordered"}?, pointing.item, pointing.item+)
-    | (attribute type {"glossary"}, glossary.item+) )
+    | (attribute type {"glossary"}, item.glossary+) )
 }
 
 # ~~~~~~ item