RelaxNG/publiset.rnc
changeset 152 fddb2b67c19c
parent 127 efce69890bfd
child 155 1568fa18df9e
--- a/RelaxNG/publiset.rnc	mar. déc. 18 22:40:03 2012 +0100
+++ b/RelaxNG/publiset.rnc	jeu. déc. 20 15:10:18 2012 +0100
@@ -31,8 +31,7 @@
 composition.attributes =
    composition.id.attribute
  & path.attribute?
- & xpath.attribute?
- & xslt.attribute?
+ & (xpath.attribute | xslt.attribute)?
  & remap.attributes
  & lang.attribute?
 composition.id.attribute = attribute id { xsd:NMTOKEN }
@@ -101,8 +100,7 @@
 
 composition.division.attributes =
    path.attribute?
- & xpath.attribute?
- & xslt.attribute?
+ & (xpath.attribute | xslt.attribute)?
  & remap.attributes
 selection.division.attributes =
    path.attribute?
@@ -132,8 +130,7 @@
 
 composition.file.attributes =
    name.attribute
- & xpath.attribute?
- & xslt.attribute?
+ & (xpath.attribute | xslt.attribute)?
 selection.file.attributes =
    name.attribute
  & uri.attribute?