RelaxNG/publidoc.rnc
changeset 181 cc8a32283e9d
parent 180 72e7a80bd904
child 182 af222772225f
--- a/RelaxNG/publidoc.rnc	jeu. mars 14 17:40:08 2013 +0100
+++ b/RelaxNG/publidoc.rnc	ven. mars 15 08:51:12 2013 +0100
@@ -28,7 +28,7 @@
 top.head.content =
    (title, shorttitle?, subtitle?)?
  & (identifier, identifier?)?
- & copyright?
+ & copyright*
  & collection?
  & contributors?
  & date?