RelaxNG/publiset.rnc
changeset 35 de4114d12ef1
parent 34 c51d5097d065
child 36 d23cfb7be79e
--- a/RelaxNG/publiset.rnc	lun. juil. 18 23:35:32 2011 +0200
+++ b/RelaxNG/publiset.rnc	mar. juil. 19 11:01:54 2011 +0200
@@ -79,6 +79,7 @@
  & author*
  & publisher?
  & source?
+ & cover?
 division.head.content =
    (title, subtitle?)?
  & language?
@@ -181,6 +182,19 @@
 pagenumber.value.attribute = attribute value { pagenumber.value.enumeration }
 pagenumber.value.enumeration = xsd:positiveInteger
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+cover = element cover { cover.content }
+
+cover.content =
+   cover.image
+
+cover.image = element image { cover.image.attributes }
+
+cover.image.attributes =
+   cover.image.id.attribute
+cover.image.id.attribute = attribute id { xsd:NMTOKEN }
+
 
 # =============================================================================
 #                                DIVISION LEVEL