changeset 118 | 8d2b19e168e1 |
parent 117 | fb3173d57512 |
child 119 | 8a879730e853 |
--- 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?,