RelaxNG/publiset.rnc
changeset 117 fb3173d57512
parent 101 3ec3b2eceeb8
child 126 59658f3a4f6f
--- a/RelaxNG/publiset.rnc	mer. juin 06 18:16:53 2012 +0200
+++ b/RelaxNG/publiset.rnc	mar. juin 12 11:39:05 2012 +0200
@@ -35,7 +35,7 @@
  & xslt.attribute?
  & remap.attributes
  & lang.attribute?
-composition.id.attribute = attribute xml:id { xsd:ID }
+composition.id.attribute = attribute id { xsd:NMTOKEN }
 path.attribute = attribute path { xsd:anyURI }
 xslt.attribute = attribute xslt { xsd:anyURI }
 xpath.attribute = attribute xpath { text }
@@ -73,7 +73,7 @@
    selection.id.attribute
  & path.attribute?
  & lang.attribute?
-selection.id.attribute = attribute xml:id { xsd:ID }
+selection.id.attribute = attribute id { xsd:NMTOKEN }
 
 selection.content =
    selection.head?,