--- 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