changeset 285 | aace9a2da668 |
parent 280 | d8a32aa88111 |
child 288 | e89c967167bb |
--- a/RelaxNG/publidoc.rnc jeu. déc. 26 11:43:47 2013 +0100 +++ b/RelaxNG/publidoc.rnc mer. janv. 01 18:08:33 2014 +0100 @@ -906,6 +906,10 @@ # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ warning ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -warning = element warning { warning.content } +warning = element warning { warning.attributes, warning.content } + +warning.attributes = + warning.type.attribute? +warning.type.attribute = attribute type { xsd:NCName } warning.content = inlines