RelaxNG/publidoc.rnc
changeset 279 59d00f9494c9
parent 274 70ae719226b1
child 280 d8a32aa88111
--- 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 =