diff -r b403a6ac3061 -r 95f81124351c RelaxNG/publidoc.rnc
--- 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~