# HG changeset patch # User Patrick PIERRE # Date 1339495303 -7200 # Node ID 8d2b19e168e1ae43cccf26d26989618f49d7ff0d # Parent fb3173d5751237ecaaa0c5a0ba2f0889c702b2d3 xml:id -> id diff -r fb3173d57512 -r 8d2b19e168e1 RelaxNG/publidoc.rnc --- a/RelaxNG/publidoc.rnc mar. juin 12 11:39:05 2012 +0200 +++ b/RelaxNG/publidoc.rnc mar. juin 12 12:01:43 2012 +0200 @@ -111,10 +111,9 @@ topic = element topic { topic.attributes, topic.content } topic.attributes = - topic.xmlid.attribute? + topic.id.attribute? & topic.type.attribute? & lang.attribute? -topic.xmlid.attribute = attribute xml:id { xsd:ID } topic.content = component.head?, diff -r fb3173d57512 -r 8d2b19e168e1 RelaxNG/publiquiz.rnc --- a/RelaxNG/publiquiz.rnc mar. juin 12 11:39:05 2012 +0200 +++ b/RelaxNG/publiquiz.rnc mar. juin 12 12:01:43 2012 +0200 @@ -50,9 +50,8 @@ quiz = element quiz { quiz.attributes, quiz.content } quiz.attributes = - quiz.xmlid.attribute? + quiz.id.attribute? & lang.attribute? -quiz.xmlid.attribute = attribute xml:id { xsd:ID } quiz.content = component.head?,