# HG changeset patch
# User Patrick PIERRE
# Date 1363614864 -3600
# Node ID 68fd62d59f7c4df3ecf1bdb803958a5cc9d2c292
# Parent  f9b4457d07788a3cafaafbc393ddf79a5d91205b
Ajout d'une animation

diff -r f9b4457d0778 -r 68fd62d59f7c RelaxNG/Examples/Documents/Images/plane.gif
Binary file RelaxNG/Examples/Documents/Images/plane.gif has changed
diff -r f9b4457d0778 -r 68fd62d59f7c RelaxNG/Examples/Documents/torture_test.xml
--- a/RelaxNG/Examples/Documents/torture_test.xml	dim. mars 17 12:41:21 2013 +0100
+++ b/RelaxNG/Examples/Documents/torture_test.xml	lun. mars 18 14:54:24 2013 +0100
@@ -561,6 +561,9 @@
               <caption x="1%" y="1%">Robin DR-400, F-GCRU.</caption>
             </media>
             <p>Le Robin DR-400 est un avion de tourisme monomoteur.</p>
+            <media>
+              <image id="plane" type="animation"/>
+            </media>
           </section>
         </topic>
         <!-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -->
diff -r f9b4457d0778 -r 68fd62d59f7c RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	dim. mars 17 12:41:21 2013 +0100
+++ b/RelaxNG/publidoc.rnc	lun. mars 18 14:54:24 2013 +0100
@@ -349,7 +349,7 @@
    media.id.attribute
  & image.type?
 media.id.attribute = attribute id { xsd:NMTOKEN }
-image.type = attribute type { "cover" | "thumbnail" | "icon" }
+image.type = attribute type { "cover" | "thumbnail" | "icon" | "animation" }
 
 image.content =
    copyright?,