RelaxNG/publidoc.rnc
changeset 355 469d03c6f570
parent 351 715ab7002268
child 358 73f2c224e7d7
--- a/RelaxNG/publidoc.rnc	dim. nov. 30 18:41:43 2014 +0100
+++ b/RelaxNG/publidoc.rnc	sam. déc. 06 16:18:43 2014 +0100
@@ -139,6 +139,11 @@
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ index ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
+# ~~~~~~ indexset
+indexset = element indexset { indexset.content }
+
+indexset.content = head.index+
+
 # ~~~~~~ index
 index = element index { index.content }
 head.index = element index { head.index.content }
@@ -200,8 +205,8 @@
  & (source, source?)?
  & keywordset?
  & subjectset?
+ & indexset?
  & abstract?
- & head.index*
  & cover?
  & annotation*
 
@@ -249,7 +254,7 @@
 
 division.head.content =
    (title, shorttitle?, subtitle*)?
- & head.index*
+ & indexset?
  & abstract?
  & annotation*
 
@@ -289,7 +294,7 @@
  & place?
  & keywordset?
  & subjectset?
- & head.index*
+ & indexset?
  & abstract?
  & annotation*
 
@@ -322,7 +327,7 @@
    (title, shorttitle?, subtitle*)?
  & keywordset?
  & subjectset?
- & head.index*
+ & indexset?
  & abstract?
  & audio*
  & annotation*
@@ -375,7 +380,7 @@
 
 block.head.content =
    (title, shorttitle?, subtitle*)?
- & head.index*
+ & indexset?
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~