RelaxNG/publidoc.rnc
changeset 35 de4114d12ef1
parent 34 c51d5097d065
child 36 d23cfb7be79e
--- a/RelaxNG/publidoc.rnc	lun. juil. 18 23:35:32 2011 +0200
+++ b/RelaxNG/publidoc.rnc	mar. juil. 19 11:01:54 2011 +0200
@@ -70,6 +70,7 @@
  & source*
  & subjectset?
  & abstract?
+ & cover?
  & annotation*
 division.head.content =
    (title, subtitle?)?
@@ -214,6 +215,19 @@
 abstract.content =
    p+
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 }
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 annotation = element annotation { annotation.content }
@@ -397,7 +411,7 @@
    inlines
  | p+
 
-# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 # ~~~~~~ media
 media = element media { media.content }
@@ -405,7 +419,8 @@
 media.content =
    block.head?,
    image+,
-   caption?
+   caption?,
+   url?
 
 # ~~~~~~ image
 image = element image { image.attributes, image.content }