RelaxNG/publidoc.rnc
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?,