changeset 245 | 2d5de0246a8e |
parent 243 | 5763ffc01aeb |
child 246 | 430c1f46b074 |
--- a/RelaxNG/publidoc.rnc sam. août 03 12:04:12 2013 +0200 +++ b/RelaxNG/publidoc.rnc mer. sept. 04 13:40:39 2013 +0200 @@ -349,7 +349,11 @@ # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ # ~~~~~~ media -media = element media { media.content } +media = element media { media.attributes, media.content } + +media.attributes = + media.type.attribute? +media.type.attribute = attribute type { xsd:NCName } media.content = block.head?,