# HG changeset patch
# User Patrick PIERRE
# Date 1367997049 -7200
# Node ID 47aea917eaaba503fe7ba3b6f776c27ee01994be
# Parent  1eba67286ffb02ff6e56bc01300822dd494f0cb2
Ajout de <warning>

diff -r 1eba67286ffb -r 47aea917eaab RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	ven. mai 03 08:00:58 2013 +0200
+++ b/RelaxNG/publidoc.rnc	mer. mai 08 09:10:49 2013 +0200
@@ -645,6 +645,7 @@
  & anchor*
  & image*
  & smil*
+ & warning*
 }
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -817,3 +818,9 @@
 end.attribute = attribute end { xsd:decimal }
 
 smil.content = inlines
+
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+warning = element warning { warning.content }
+
+warning.content = inlines