RelaxNG/publidoc.rnc
changeset 53 37e9f6428d02
parent 50 5181169ff02d
child 56 5e5ea407a594
--- a/RelaxNG/publidoc.rnc	ven. oct. 28 10:41:08 2011 +0200
+++ b/RelaxNG/publidoc.rnc	jeu. nov. 10 13:04:58 2011 +0100
@@ -206,7 +206,7 @@
 # ~~~~~~ keyword
 keyword = element keyword { keyword.content }
 
-keyword.content = text
+keyword.content = mixed { sup*, sub* }
 
 # ~~~~~~ subjectset
 subjectset = element subjectset { subjectset.content }