# HG changeset patch
# User Patrick PIERRE
# Date 1372058316 -7200
# Node ID 3b409238c9f9b52b7f148309d8659c609761e19b
# Parent  0decd945374e0e9150ec553149203847e2421926
Warning inlines

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