# HG changeset patch
# User Patrick PIERRE
# Date 1405257141 -7200
# Node ID 78fcb5b0d1562dcf0a820ddbb6bcf00558c42c5a
# Parent 47ffc0efdd377a876b851298c81e0558f337d57c
Ajout de l'attribut pi-source
diff -r 47ffc0efdd37 -r 78fcb5b0d156 Data/Sets/composition.xml
--- a/Data/Sets/composition.xml dim. juin 22 09:47:20 2014 +0200
+++ b/Data/Sets/composition.xml dim. juil. 13 15:12:21 2014 +0200
@@ -1,7 +1,7 @@
<?xml version='1.0' encoding='utf-8'?>
<!-- $Id$ -->
<publiset version="1.0">
- <composition id="composition" xml:lang="fr"
+ <composition id="composition" xml:lang="fr" pi-source="true"
as="publidoc" attributes="version=1.0">
<division as="document" attributes="id=composition xml:lang=fr">
<head transform="composition.xsl">
diff -r 47ffc0efdd37 -r 78fcb5b0d156 RelaxNG/publiset.rnc
--- a/RelaxNG/publiset.rnc dim. juin 22 09:47:20 2014 +0200
+++ b/RelaxNG/publiset.rnc dim. juil. 13 15:12:21 2014 +0200
@@ -196,15 +196,17 @@
composition.attributes =
composition.id.attribute
+ & lang.attribute?
+ & pi-source.attribute?
& path.attribute?
& (xpath.attribute | xslt.attribute)?
& remap.attributes
- & lang.attribute?
composition.id.attribute = attribute id { xsd:NMTOKEN }
+lang.attribute = attribute xml:lang { xsd:language }
+pi-source.attribute = attribute pi-source { xsd:boolean }
path.attribute = attribute path { xsd:anyURI }
xslt.attribute = attribute xslt { xsd:anyURI }
xpath.attribute = attribute xpath { text }
-lang.attribute = attribute xml:lang { xsd:language }
composition.content =
composition.head?,
@@ -241,8 +243,8 @@
selection.attributes =
selection.id.attribute
+ & lang.attribute?
& path.attribute?
- & lang.attribute?
selection.id.attribute = attribute id { xsd:NMTOKEN }
selection.content =