# HG changeset patch # User Patrick PIERRE <patrick.pierre@prismallia.fr> # Date 1338465109 -7200 # Node ID 5f3d6d357c74982cdeeaf29fd7f088d143251cc1 # Parent 44de27e5c6cf57e71812b7b0976818e575078d37 Ambiance -> background diff -r 44de27e5c6cf -r 5f3d6d357c74 RelaxNG/Examples/Documents/torture_test.xml --- a/RelaxNG/Examples/Documents/torture_test.xml mer. mai 30 21:32:58 2012 +0200 +++ b/RelaxNG/Examples/Documents/torture_test.xml jeu. mai 31 13:51:49 2012 +0200 @@ -469,7 +469,7 @@ </head> <section> <head> - <audio id="amarok" type="ambiance"/> + <audio id="amarok" type="backgound"/> </head> <media> <audio id="brahms_lullaby" type="music"/> diff -r 44de27e5c6cf -r 5f3d6d357c74 RelaxNG/publidoc.rnc --- 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