RelaxNG/publiset.rnc
changeset 40 7cfe2d4957c6
parent 39 7faa356bad3e
child 48 136c5977c215
--- a/RelaxNG/publiset.rnc	mer. juil. 20 15:05:37 2011 +0200
+++ b/RelaxNG/publiset.rnc	mer. juil. 20 22:57:09 2011 +0200
@@ -79,7 +79,6 @@
  & copyright?
  & author*
  & publisher?
- & source?
  & cover?
 division.head.content =
    (title, subtitle?)?
@@ -160,29 +159,6 @@
 
 label.content = inlines
 
-# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-
-# ~~~~~~ source
-source = element source {
-   (  (attribute type { "book" }, source.content.book)
-    | (attribute type { "file" }, source.content.file))
-}
-
-source.content.book =
-   identifier.ean,
-   title?,
-   pagenumber*
-source.content.file =
-   identifier.uri
-
-# ~~~~~~ pagenumber
-pagenumber = element pagenumber { pagenumber.attributes }
-
-pagenumber.attributes =
-   pagenumber.value.attribute
-pagenumber.value.attribute = attribute value { pagenumber.value.enumeration }
-pagenumber.value.enumeration = xsd:positiveInteger
-
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 cover = element cover { cover.content }