RelaxNG/publiset.rnc
changeset 445 e2b49b443853
parent 444 34e00c6a3829
child 446 fb5511755683
--- a/RelaxNG/publiset.rnc	dim. mars 05 12:43:44 2017 +0100
+++ b/RelaxNG/publiset.rnc	dim. avril 09 09:36:40 2017 +0200
@@ -325,10 +325,12 @@
  & (xpath.attribute | xslt.attribute)?
  & argument.attribute?
  & mode.attribute?
+ & label.attribute?
 selection.file.attributes =
    path.attribute?
 argument.attribute = attribute argument { text }
 mode.attribute = attribute mode { text }
+label.attribute = attribute label { text }
 
 file.content = xsd:anyURI