--- a/RelaxNG/publiquiz.rnc jeu. août 23 23:53:03 2018 +0200
+++ b/RelaxNG/publiquiz.rnc mer. sept. 05 17:18:31 2018 +0200
@@ -281,9 +281,10 @@
& orientation.attribute?
sort.content =
- comparison?,
- sort.item,
- sort.item+
+ comparison?,
+ sort.intruders?,
+ sort.item,
+ sort.item+
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -877,6 +878,12 @@
comparison.content = inlines
+# ~~~~~~~ sort.intruders
+sort.intruders = element intruders { sort.intruders.content }
+
+sort.intruders.content =
+ sort.item+
+
# ~~~~~~ sort.item
sort.item = element item { sort.item.attributes, sort.item.content }