diff -r 5bb0c5a94bf3 -r 2c303e23577d RelaxNG/publiset.rnc --- 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 }