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