# HG changeset patch # User Patrick PIERRE # Date 1432487545 -7200 # Node ID b4827053c3152f6b6e0ae348c9c46f25b1bd17fa # Parent 156ce0e2f94345bdeddebcb9a893107f6d19b5d7 Simplification diff -r 156ce0e2f943 -r b4827053c315 RelaxNG/publiset.rnc --- a/RelaxNG/publiset.rnc ven. mai 22 17:35:52 2015 +0200 +++ b/RelaxNG/publiset.rnc dim. mai 24 19:12:25 2015 +0200 @@ -277,14 +277,6 @@ # DIVISION LEVEL # ============================================================================= -# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -division.head = element head { division.head.content } - -division.head.content = - (title, shorttitle?, subtitle*)? - & indexset? - & \element* - # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ # ~~~~~~ division