RelaxNG/publidoc.rnc
changeset 105 ce5c5b08cb94
parent 104 2db7cb9721c0
child 109 78dceeeda33a
--- a/RelaxNG/publidoc.rnc	jeu. mai 24 12:22:55 2012 +0200
+++ b/RelaxNG/publidoc.rnc	jeu. mai 24 16:43:58 2012 +0200
@@ -144,6 +144,7 @@
 section.head.content =
    (title, subtitle?)?
  & abstract?
+ & audio*
  & annotation*
 
 
@@ -328,7 +329,7 @@
 audio.attributes =
    media.id.attribute
  & audio.type?
-audio.type = attribute type { "music" | "voice" | "ambiance" }
+audio.type = attribute type { "music" | "voice" | "ambiance" | "smil" }
 
 
 # =============================================================================
@@ -470,7 +471,7 @@
 cover.image.attributes =
    cover.image.id.attribute
 cover.image.id.attribute = attribute id { xsd:NMTOKEN }
-
+   
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 annotation = element annotation { annotation.content }
@@ -503,6 +504,7 @@
  & anchor*
  & initial*
  & image*
+ & smil*
 }
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -644,3 +646,15 @@
    w?
 
 c = element c { text }
+
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+smil = element smil { smil.attributes, smil.content }
+
+smil.attributes =
+   begin.attribute?
+ & end.attribute?
+begin.attribute = attribute begin { xsd:decimal }
+end.attribute = attribute end { xsd:decimal }
+
+smil.content = inlines