diff -r 0decd945374e -r 3b409238c9f9 RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	lun. juin 24 00:51:01 2013 +0200
+++ b/RelaxNG/publidoc.rnc	lun. juin 24 09:18:36 2013 +0200
@@ -836,4 +836,4 @@
 
 warning = element warning { warning.content }
 
-warning.content = text
+warning.content = inlines