RelaxNG/publidoc.rnc
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