changeset 113 | 47726211079a |
parent 112 | 5f3d6d357c74 |
child 117 | fb3173d57512 |
--- a/RelaxNG/publidoc.rnc jeu. mai 31 13:51:49 2012 +0200 +++ b/RelaxNG/publidoc.rnc jeu. mai 31 14:00:37 2012 +0200 @@ -330,7 +330,7 @@ audio.attributes = media.id.attribute & audio.type? -audio.type = attribute type { "music" | "voice" | "backgound" | "smil" } +audio.type = attribute type { "music" | "voice" | "background" | "smil" } # ~~~~~~ tooltip