RelaxNG/publidoc.rnc
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?,