Simplification
authorPatrick PIERRE
dim., 24 mai 2015 19:12:25 +0200
changeset 383 b4827053c315
parent 382 156ce0e2f943
child 384 2f3e64c81871
Simplification
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