RelaxNG/publidoc.rnc
changeset 155 1568fa18df9e
parent 147 ef6d2a49afba
child 156 29405a66e77b
--- a/RelaxNG/publidoc.rnc	mar. janv. 01 16:57:31 2013 +0100
+++ b/RelaxNG/publidoc.rnc	lun. janv. 14 19:19:33 2013 +0100
@@ -29,6 +29,7 @@
    (title, shorttitle?, subtitle?)?
  & identifier*
  & copyright?
+ & collection?
  & contributors?
  & date?
  & place?
@@ -366,7 +367,6 @@
    media.id.attribute
 
 # ~~~~~~ hotspot
-
 hotspot = element hotspot { hotspot.attributes, hotspot.content }
 
 hotspot.attributes =
@@ -382,7 +382,6 @@
    (link | audio | video)
    
 # ~~~~~~ tooltip
-
 tooltip = element tooltip { tooltip.attributes, tooltip.content }
 
 tooltip.attributes =
@@ -434,6 +433,12 @@
 
 copyright.content = inlines
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ collection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+collection = element collection { collection.content }
+
+collection.content = inlines
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ contributors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 # ~~~~~~ contributors