RelaxNG/publiquiz.rnc
changeset 461 58b2704e601a
parent 450 fd645a45932e
child 462 61f23b379b5d
--- 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 }