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 }