RelaxNG/publidoc.rnc
changeset 64 2d6627e9d3d6
parent 63 60d5d3f81e19
child 65 2aad27159a33
--- a/RelaxNG/publidoc.rnc	jeu. déc. 22 02:02:02 2011 +0100
+++ b/RelaxNG/publidoc.rnc	jeu. déc. 22 13:43:17 2011 +0100
@@ -286,6 +286,7 @@
 
 section.attributes =
    section.type.attribute?
+ & lang.attribute?
 section.type.attribute = attribute type { xsd:NCName }
 
 section.content =