diff -r c51d5097d065 -r de4114d12ef1 RelaxNG/publiset.rnc --- a/RelaxNG/publiset.rnc lun. juil. 18 23:35:32 2011 +0200 +++ b/RelaxNG/publiset.rnc mar. juil. 19 11:01:54 2011 +0200 @@ -79,6 +79,7 @@ & author* & publisher? & source? + & cover? division.head.content = (title, subtitle?)? & language? @@ -181,6 +182,19 @@ pagenumber.value.attribute = attribute value { pagenumber.value.enumeration } pagenumber.value.enumeration = xsd:positiveInteger +# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + +cover = element cover { cover.content } + +cover.content = + cover.image + +cover.image = element image { cover.image.attributes } + +cover.image.attributes = + cover.image.id.attribute +cover.image.id.attribute = attribute id { xsd:NMTOKEN } + # ============================================================================= # DIVISION LEVEL