Ajout de l'attribut audio
authorPatrick PIERRE
mar., 14 mai 2013 17:36:19 +0200
changeset 207 287bcc4b580c
parent 206 e61680154e7d
child 208 3541b0d0bf0b
Ajout de l'attribut audio
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 }