# 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