# HG changeset patch
# User Patrick PIERRE
# Date 1368545779 -7200
# Node ID 287bcc4b580cb8b3b200a73028723658b0cac964
# Parent  e61680154e7d71164abf4299f94811af2c700b4e
Ajout de l'attribut audio

diff -r e61680154e7d -r 287bcc4b580c RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	mer. mai 08 09:12:05 2013 +0200
+++ b/RelaxNG/publidoc.rnc	mar. mai 14 17:36:19 2013 +0200
@@ -812,8 +812,10 @@
 smil = element smil { smil.attributes, smil.content }
 
 smil.attributes =
-   begin.attribute?
+   audio.attribute?
+ & begin.attribute?
  & end.attribute?
+audio.attribute = attribute audio { xsd:anyURI }
 begin.attribute = attribute begin { xsd:decimal }
 end.attribute = attribute end { xsd:decimal }