Ajout d'une animation
authorPatrick PIERRE
lun., 18 mars 2013 14:54:24 +0100
changeset 184 68fd62d59f7c
parent 183 f9b4457d0778
child 185 2a8ac62f00d3
Ajout d'une animation
RelaxNG/Examples/Documents/Images/plane.gif
RelaxNG/Examples/Documents/torture_test.xml
RelaxNG/publidoc.rnc
Binary file RelaxNG/Examples/Documents/Images/plane.gif has changed
--- 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>
         <!-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -->
--- 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?,