diff -r a3fdabd71b65 -r 4e4c9b47f2a1 RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	lun. févr. 04 18:00:19 2013 +0100
+++ b/RelaxNG/publidoc.rnc	lun. févr. 04 22:48:10 2013 +0100
@@ -151,7 +151,9 @@
 section.attributes =
    section.type.attribute?
  & lang.attribute?
+ & for.attribute?
 section.type.attribute = attribute type { xsd:NCName }
+for.attribute = attribute for { xsd:NCName }
 
 section.content =
    section.head?,