RelaxNG/publiset.rnc
changeset 127 efce69890bfd
parent 126 59658f3a4f6f
child 152 fddb2b67c19c
--- a/RelaxNG/publiset.rnc	lun. juil. 30 23:23:57 2012 +0200
+++ b/RelaxNG/publiset.rnc	jeu. août 02 17:16:36 2012 +0200
@@ -53,7 +53,7 @@
    remap.attributes
 
 composition.head.content =
-   (title, subtitle?)?
+   (title, shorttitle?, subtitle?)?
  & identifier*
  & copyright?
  & contributors?
@@ -118,7 +118,7 @@
 division.head = element head { division.head.content }
 
 division.head.content =
-   (title, subtitle?)?
+   (title, shorttitle?, subtitle?)?
 
 
 # =============================================================================
@@ -161,6 +161,7 @@
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ title, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 title = element title { title.content }
+shorttitle = element shorttitle { title.content }
 subtitle = element subtitle { title.content }
 
 title.content = inlines