# HG changeset patch # User Patrick PIERRE # Date 1421403763 -3600 # Node ID edbbf787aaa27531b9b633cbe6d84e4d86577ca9 # Parent 77f406396cfc001d6ea009cbebcbbd5213ebabc1 indexset diff -r 77f406396cfc -r edbbf787aaa2 Data/Sets/composition.xml --- a/Data/Sets/composition.xml mar. déc. 23 17:38:30 2014 +0100 +++ b/Data/Sets/composition.xml ven. janv. 16 11:22:43 2015 +0100 @@ -41,7 +41,9 @@ Les événements - événements + + événements +

Où l'on évoque pêle-mêle quelques sujets d'actualité.

@@ -55,7 +57,9 @@ Les brèves Europe - brèvesEurope + + brèvesEurope + portugal_ue.xml
@@ -64,7 +68,9 @@ Les photographies avec légende - photographie + + photographie + a380.xml diff -r 77f406396cfc -r edbbf787aaa2 RelaxNG/publiset.rnc --- 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