Ajout de <warning>
authorPatrick PIERRE
mer., 08 mai 2013 09:10:49 +0200
changeset 205 47aea917eaab
parent 204 1eba67286ffb
child 206 e61680154e7d
Ajout de <warning>
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