# HG changeset patch
# User Patrick PIERRE
# Date 1388596113 -3600
# Node ID aace9a2da668b1afc962251f354abbec59310f3b
# Parent  f2e60073557f7c67c3d16ae1e41ae8068ebd05fe
Attribut type sur <warning>

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