RelaxNG/publidoc.rnc
changeset 207 287bcc4b580c
parent 205 47aea917eaab
child 208 3541b0d0bf0b
--- 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 }