changeset 112 | 5f3d6d357c74 |
parent 111 | 44de27e5c6cf |
child 113 | 47726211079a |
--- a/RelaxNG/publidoc.rnc mer. mai 30 21:32:58 2012 +0200 +++ b/RelaxNG/publidoc.rnc jeu. mai 31 13:51:49 2012 +0200 @@ -330,7 +330,7 @@ audio.attributes = media.id.attribute & audio.type? -audio.type = attribute type { "music" | "voice" | "ambiance" | "smil" } +audio.type = attribute type { "music" | "voice" | "backgound" | "smil" } # ~~~~~~ tooltip