RelaxNG/publidoc.rnc
changeset 217 787f74e3166d
parent 214 c169dbf34858
child 225 4bb2b00913ad
--- a/RelaxNG/publidoc.rnc	jeu. juin 13 17:56:18 2013 +0200
+++ b/RelaxNG/publidoc.rnc	mar. juin 18 14:51:33 2013 +0200
@@ -26,7 +26,7 @@
 top.head = element head { top.head.content }
 
 top.head.content =
-   (title, shorttitle?, subtitle?)?
+   (title, shorttitle?, subtitle*)?
  & (identifier, identifier?)?
  & copyright*
  & collection?
@@ -86,16 +86,23 @@
 
 division.content =
    division.head?,
+   front?,
    (division | topic)+
 
 # ~~~~~~ division.head
 division.head = element head { division.head.content }
 
 division.head.content =
-   (title, shorttitle?, subtitle?)?
+   (title, shorttitle?, subtitle*)?
  & abstract?
  & annotation*
 
+# ~~~~~~ front
+front = element front { front.content }
+
+front.content =
+   section+
+
 
 # =============================================================================
 #                                COMPONENT LEVEL
@@ -106,7 +113,7 @@
 component.head = element head { component.head.content }
 
 component.head.content =
-   (title, shorttitle?, subtitle?)?
+   (title, shorttitle?, subtitle*)?
  & contributors?
  & date?
  & place?
@@ -163,7 +170,7 @@
 section.head = element head { section.head.content }
 
 section.head.content =
-   (title, shorttitle?, subtitle?)?
+   (title, shorttitle?, subtitle*)?
  & keywordset?
  & subjectset?
  & abstract?
@@ -199,7 +206,7 @@
 block.head = element head { block.head.content }
 
 block.head.content =
-   (title, shorttitle?, subtitle?)?
+   (title, shorttitle?, subtitle*)?
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~