RelaxNG/publiset.rnc
changeset 446 fb5511755683
parent 445 e2b49b443853
child 448 9bc794bf36b0
--- a/RelaxNG/publiset.rnc	dim. avril 09 09:36:40 2017 +0200
+++ b/RelaxNG/publiset.rnc	dim. avril 09 13:24:52 2017 +0200
@@ -325,12 +325,12 @@
  & (xpath.attribute | xslt.attribute)?
  & argument.attribute?
  & mode.attribute?
- & label.attribute?
+ & title.attribute?
 selection.file.attributes =
    path.attribute?
 argument.attribute = attribute argument { text }
 mode.attribute = attribute mode { text }
-label.attribute = attribute label { text }
+title.attribute = attribute title { text }
 
 file.content = xsd:anyURI