diff -r 72e37fdd27e7 -r 3cd4f1dfbd59 RelaxNG/publidoc.rnc --- 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~