RelaxNG/publidoc.rnc
changeset 205 47aea917eaab
parent 199 d4c92312bc71
child 207 287bcc4b580c
--- 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