RelaxNG/publidoc.rnc
changeset 184 68fd62d59f7c
parent 183 f9b4457d0778
child 185 2a8ac62f00d3
--- 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?,