RelaxNG/publiset.rnc
changeset 361 edbbf787aaa2
parent 350 58bbf6bb79e2
child 362 c9c19db11584
--- a/RelaxNG/publiset.rnc	mar. déc. 23 17:38:30 2014 +0100
+++ b/RelaxNG/publiset.rnc	ven. janv. 16 11:22:43 2015 +0100
@@ -152,6 +152,11 @@
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ index ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
+# ~~~~~~ indexset
+indexset = element indexset { indexset.content }
+
+indexset.content = head.index+
+
 # ~~~~~~ index
 head.index = element index { head.index.content }
 
@@ -229,7 +234,7 @@
  & (source, source?)?
  & keywordset?
  & subjectset?
- & head.index*
+ & indexset?
  & abstract?
  & cover?
 
@@ -259,6 +264,13 @@
 #                                DIVISION LEVEL
 # =============================================================================
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+division.head = element head { division.head.content }
+
+division.head.content =
+   (title, shorttitle?, subtitle*)?
+ & indexset?
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 # ~~~~~~ division
@@ -285,13 +297,6 @@
    selection.head?,
    (selection.division | selection.file | link)+
 
-# ~~~~~~ division.head
-division.head = element head { division.head.content }
-
-division.head.content =
-   (title, shorttitle?, subtitle*)?
- & head.index*
-
 
 # =============================================================================
 #                                  FILE LEVEL