RelaxNG/publidoc.rnc
changeset 49 e533ca9494a6
parent 45 8dbf4d305813
child 50 5181169ff02d
--- a/RelaxNG/publidoc.rnc	ven. oct. 07 16:19:44 2011 +0200
+++ b/RelaxNG/publidoc.rnc	dim. oct. 23 16:45:12 2011 +0200
@@ -454,8 +454,10 @@
 image = element image { image.attributes, image.content }
 
 image.attributes =
-   media.id.attribute
+   media.id.attribute,
+   image.type?
 media.id.attribute = attribute id { xsd:NMTOKEN }
+image.type = attribute type { "thumbnail" }
 
 image.content =
    copyright?