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?,