RelaxNG/publidoc.rnc
changeset 184 68fd62d59f7c
parent 183 f9b4457d0778
child 185 2a8ac62f00d3
equal deleted inserted replaced
183:f9b4457d0778 184:68fd62d59f7c
   347 
   347 
   348 image.attributes =
   348 image.attributes =
   349    media.id.attribute
   349    media.id.attribute
   350  & image.type?
   350  & image.type?
   351 media.id.attribute = attribute id { xsd:NMTOKEN }
   351 media.id.attribute = attribute id { xsd:NMTOKEN }
   352 image.type = attribute type { "cover" | "thumbnail" | "icon" }
   352 image.type = attribute type { "cover" | "thumbnail" | "icon" | "animation" }
   353 
   353 
   354 image.content =
   354 image.content =
   355    copyright?,
   355    copyright?,
   356    hotspot*
   356    hotspot*
   357 
   357