--- 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?