RelaxNG/publidoc.rnc
changeset 231 3b409238c9f9
parent 226 e48bb0f52815
child 232 3433c1953c64
--- 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