RelaxNG/publidoc.rnc
changeset 93 3cd4f1dfbd59
parent 91 2ed9fc840ce6
child 98 276a83581fb4
--- a/RelaxNG/publidoc.rnc	dim. avril 01 20:14:34 2012 +0200
+++ b/RelaxNG/publidoc.rnc	mar. avril 10 17:22:31 2012 +0200
@@ -317,7 +317,7 @@
    media.id.attribute,
    image.type?
 media.id.attribute = attribute id { xsd:NMTOKEN }
-image.type = attribute type { "cover" | "thumbnail" }
+image.type = attribute type { "cover" | "thumbnail" | "icon" }
 
 image.content =
    copyright?
@@ -500,6 +500,7 @@
  & link*
  & anchor*
  & initial*
+ & image*
 }
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~