diff -r 2778051094c4 -r 59d00f9494c9 RelaxNG/publidoc.rnc --- a/RelaxNG/publidoc.rnc jeu. déc. 19 17:15:53 2013 +0100 +++ b/RelaxNG/publidoc.rnc jeu. déc. 19 18:48:33 2013 +0100 @@ -160,7 +160,8 @@ section = element section { section.attributes, section.content } section.attributes = - section.type.attribute? + xmlid.attribute? + & section.type.attribute? & lang.attribute? & for.attribute? section.type.attribute = attribute type { xsd:NCName } @@ -390,8 +391,8 @@ media = element media { media.attributes, media.content } media.attributes = - media.type.attribute? - & xmlid.attribute? + xmlid.attribute? + & media.type.attribute? media.type.attribute = attribute type { xsd:NCName } media.content =