diff -r 4e1427fce4bb -r 469d03c6f570 RelaxNG/publidoc.rnc --- 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~