# HG changeset patch # User Patrick PIERRE # Date 1387475313 -3600 # Node ID 59d00f9494c92cad5230aed0f1174804c8052fc6 # Parent 2778051094c44350e196b4d5ac3796ac1234efe8 Ajout d'un xml:id sur les sections diff -r 2778051094c4 -r 59d00f9494c9 RelaxNG/Examples/Documents/torture_test.xml --- a/RelaxNG/Examples/Documents/torture_test.xml jeu. déc. 19 17:15:53 2013 +0100 +++ b/RelaxNG/Examples/Documents/torture_test.xml jeu. déc. 19 18:48:33 2013 +0100 @@ -324,7 +324,7 @@
Où l’on apprend la mort de Jean Valjean.
-Cosette et Marius tombèrent à genoux, éperdus, étouffés de + larmes, chacun sur une des mains de Jean Valjean. Ces mains + augustes ne remuaient plus.
Il était renversé en arrière, la lueur des deux chandeliers l'éclairait ; sa face blanche regardait le ciel, il laissait Cosette et Marius couvrir ses mains de baisers ; il était mort.
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 =