RelaxNG/publiset.rng
changeset 35 de4114d12ef1
parent 34 c51d5097d065
child 36 d23cfb7be79e
--- a/RelaxNG/publiset.rng	lun. juil. 18 23:35:32 2011 +0200
+++ b/RelaxNG/publiset.rng	mar. juil. 19 11:01:54 2011 +0200
@@ -162,6 +162,9 @@
       <optional>
         <ref name="source"/>
       </optional>
+      <optional>
+        <ref name="cover"/>
+      </optional>
     </interleave>
   </define>
   <define name="division.head.content">
@@ -379,6 +382,28 @@
   <define name="pagenumber.value.enumeration">
     <data type="positiveInteger"/>
   </define>
+  <!-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -->
+  <define name="cover">
+    <element name="cover">
+      <ref name="cover.content"/>
+    </element>
+  </define>
+  <define name="cover.content">
+    <ref name="cover.image"/>
+  </define>
+  <define name="cover.image">
+    <element name="image">
+      <ref name="cover.image.attributes"/>
+    </element>
+  </define>
+  <define name="cover.image.attributes">
+    <ref name="cover.image.id.attribute"/>
+  </define>
+  <define name="cover.image.id.attribute">
+    <attribute name="id">
+      <data type="NMTOKEN"/>
+    </attribute>
+  </define>
   <!--
     =============================================================================
                                    DIVISION LEVEL