RelaxNG/publidoc.rng
changeset 53 37e9f6428d02
parent 50 5181169ff02d
child 56 5e5ea407a594
--- a/RelaxNG/publidoc.rng	ven. oct. 28 10:41:08 2011 +0200
+++ b/RelaxNG/publidoc.rng	jeu. nov. 10 13:04:58 2011 +0100
@@ -449,7 +449,14 @@
     </element>
   </define>
   <define name="keyword.content">
-    <text/>
+    <mixed>
+      <zeroOrMore>
+        <ref name="sup"/>
+      </zeroOrMore>
+      <zeroOrMore>
+        <ref name="sub"/>
+      </zeroOrMore>
+    </mixed>
   </define>
   <!-- ~~~~~~ subjectset -->
   <define name="subjectset">