# HG changeset patch
# User Patrick PIERRE
# Date 1399978782 -7200
# Node ID 7f6b762880b4964d55ef3e2cb14b96afb5c2cd6b
# Parent  edaace4c8f050a9b65eb15acba1fef8fe1d7b0fd
Ajout de l'attribut alt

diff -r edaace4c8f05 -r 7f6b762880b4 RelaxNG/Examples/Documents/torture_test.xml
--- a/RelaxNG/Examples/Documents/torture_test.xml	mar. avril 29 13:50:50 2014 +0200
+++ b/RelaxNG/Examples/Documents/torture_test.xml	mar. mai 13 12:59:42 2014 +0200
@@ -783,7 +783,8 @@
               </caption>
             </media>
             <media type="logo">
-              <image id="prismallia_logo" type="thumbnail">
+              <image id="prismallia_logo" type="thumbnail"
+                     alt="Logo Prismallia">
                 <?tune target="html" format="svg"?>
               </image>
               <caption>Le logo de <name>Prismallia</name></caption>
diff -r edaace4c8f05 -r 7f6b762880b4 RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	mar. avril 29 13:50:50 2014 +0200
+++ b/RelaxNG/publidoc.rnc	mar. mai 13 12:59:42 2014 +0200
@@ -584,9 +584,12 @@
 
 image.attributes =
    media.id.attribute
- & image.type?
+ & image.type.attribute?
+ & alt.attribute?
 media.id.attribute = attribute id { xsd:NMTOKEN }
-image.type = attribute type { "cover" | "thumbnail" | "icon" | "animation" }
+image.type.attribute = attribute type {
+   "cover" | "thumbnail" | "icon" | "animation" }
+alt.attribute = attribute alt { text }
 
 media.image.content =
    copyright?,