# HG changeset patch # User Patrick PIERRE # Date 1337870638 -7200 # Node ID ce5c5b08cb949debf0ce725fb68a1e76c556d0f4 # Parent 2db7cb9721c07dbf15c4956c76fb5798aba58206 Ajout de smil diff -r 2db7cb9721c0 -r ce5c5b08cb94 RelaxNG/publidoc.rnc --- 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