RelaxNG/publiset.rnc
changeset 215 c9959ed4ba48
parent 189 951f1a25efc5
child 218 ebfe53d246b3
--- a/RelaxNG/publiset.rnc	mer. juin 05 10:15:53 2013 +0200
+++ b/RelaxNG/publiset.rnc	jeu. juin 13 13:23:26 2013 +0200
@@ -134,9 +134,11 @@
 composition.file.attributes =
    path.attribute?
  & (xpath.attribute | xslt.attribute)?
+ & argument.attribute?
 selection.file.attributes =
    path.attribute?
-
+argument.attribute = attribute argument { text }
+   
 file.content = xsd:anyURI