RelaxNG/publidoc.rnc
changeset 384 2f3e64c81871
parent 364 1479d96b7f5f
child 388 954f6aef52d6
--- a/RelaxNG/publidoc.rnc	dim. mai 24 19:12:25 2015 +0200
+++ b/RelaxNG/publidoc.rnc	mer. mai 27 22:29:05 2015 +0200
@@ -196,7 +196,7 @@
 top.head = element head { top.head.content }
 
 top.head.content =
-   (title, shorttitle?, subtitle*)?
+   (title & shorttitle? & subtitle*)?
  & identifier*
  & copyright*
  & collection?
@@ -254,7 +254,7 @@
 division.head = element head { division.head.content }
 
 division.head.content =
-   (title, shorttitle?, subtitle*)?
+   (title & shorttitle? & subtitle*)?
  & indexset?
  & abstract?
  & annotation?
@@ -289,7 +289,7 @@
 component.head = element head { component.head.content }
 
 component.head.content =
-   (title, shorttitle?, subtitle*)?
+   (title & shorttitle? & subtitle*)?
  & contributors?
  & date?
  & place?
@@ -325,7 +325,7 @@
 section.head = element head { section.head.content }
 
 section.head.content =
-   (title, shorttitle?, subtitle*)?
+   (title & shorttitle? & subtitle*)?
  & keywordset?
  & subjectset?
  & indexset?
@@ -380,7 +380,7 @@
 block.head = element head { block.head.content }
 
 block.head.content =
-   (title, shorttitle?, subtitle*)?
+   (title & shorttitle? & subtitle*)?
  & indexset?
  & annotation?