RelaxNG/publiset.rnc
changeset 418 2c303e23577d
parent 416 544199d43060
child 444 34e00c6a3829
--- a/RelaxNG/publiset.rnc	jeu. mai 26 11:39:29 2016 +0200
+++ b/RelaxNG/publiset.rnc	dim. mai 29 14:06:37 2016 +0200
@@ -216,12 +216,14 @@
    composition.id.attribute?
  & lang.attribute?
  & path.attribute?
+ & pi-fid.attribute?
  & pi-source.attribute?
  & (xpath.attribute | xslt.attribute)?
  & remap.attributes
 composition.id.attribute = attribute id { xsd:NMTOKEN }
 lang.attribute = attribute xml:lang { xsd:language }
 path.attribute = attribute path { xsd:anyURI }
+pi-fid.attribute = attribute pi-fid { xsd:boolean }
 pi-source.attribute = attribute pi-source { xsd:boolean }
 xpath.attribute = attribute xpath { text }
 xslt.attribute = attribute xslt { xsd:anyURI }