RelaxNG/publidoc.rnc
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