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