Attribut type sur <warning>
authorPatrick PIERRE
mer., 01 janv. 2014 18:08:33 +0100
changeset 285 aace9a2da668
parent 284 f2e60073557f
child 286 4677579b4d9f
Attribut type sur <warning>
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