RelaxNG/publidoc.rnc
changeset 242 95f81124351c
parent 238 1e881598ecad
child 243 5763ffc01aeb
--- a/RelaxNG/publidoc.rnc	lun. juil. 22 15:48:20 2013 +0200
+++ b/RelaxNG/publidoc.rnc	mar. juil. 23 18:20:45 2013 +0200
@@ -731,7 +731,7 @@
 foreign.attributes =
    lang.attribute?
 
-foreign.content = mixed { sup* & sub* & number* & warning* }
+foreign.content = inlines
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ acronym ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~