Addec cover element

diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc
index ac94543c71413ea998cc1bace09ca60255622385..cd19970da48762e0f7c041f50f1c111f3daf9eb7 100644 (file)
--- a/docbook/relaxng/docbook/src/pool.rnc
+++ b/docbook/relaxng/docbook/src/pool.rnc
@@ -914,6 +914,7 @@ db.info.elements =
  | db.contractsponsor
  | db.contractnum
  | db.copyright
+ | db.cover
  | db.date
  | db.edition
  | db.editor
@@ -4242,6 +4243,42 @@ div {
 
 # ======================================================================
 
+db.cover.contentmodel =
+   (db.para.blocks
+    | db.extension.blocks
+    | db.list.blocks
+    | db.informal.blocks
+    | db.publishing.blocks
+    | db.graphic.blocks
+    | db.technical.blocks
+    | db.verbatim.blocks
+    | db.bridgehead
+    | db.synopsis.blocks
+    | db.remark
+    | db.revhistory)+
+
+[
+   db:refname [ "cover" ]
+   db:refpurpose [ "Additional content for the cover of a publication" ]
+]
+div {
+
+   db.cover.role.attribute = attribute role { text }
+
+   db.cover.attlist =
+      db.cover.role.attribute?
+    & db.common.attributes
+    & db.common.linking.attributes
+
+   db.cover =
+      element cover {
+         db.cover.attlist,
+         db.cover.contentmodel
+      }
+}
+
+# ======================================================================
+
 db.date.contentmodel = (xsd:date|xsd:dateTime|xsd:gYearMonth|xsd:gYear|text)
 
 # ======================================================================