# HG changeset patch # User Patrick PIERRE # Date 1388596113 -3600 # Node ID aace9a2da668b1afc962251f354abbec59310f3b # Parent f2e60073557f7c67c3d16ae1e41ae8068ebd05fe Attribut type sur diff -r f2e60073557f -r aace9a2da668 RelaxNG/publidoc.rnc --- 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