--- a/RelaxNG/publidoc.rnc	dim. sept. 22 00:41:37 2013 +0200
+++ b/RelaxNG/publidoc.rnc	lun. sept. 30 00:56:23 2013 +0200
@@ -792,7 +792,7 @@
 
 literal = element literal { literal.content }
 
-literal.content = mixed { sup* & warning* }
+literal.content = inlines
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ stage ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~