# HG changeset patch # User Patrick PIERRE # Date 1378294839 -7200 # Node ID 2d5de0246a8e1346ffd23bc8bb9a42742163dc7c # Parent 9591f38effc40c64af4ce801937b9dd030090bbb ajout d'un attribut 'type' aux médias diff -r 9591f38effc4 -r 2d5de0246a8e RelaxNG/Examples/Documents/torture_test.xml --- a/RelaxNG/Examples/Documents/torture_test.xml sam. août 03 12:04:12 2013 +0200 +++ b/RelaxNG/Examples/Documents/torture_test.xml mer. sept. 04 13:40:39 2013 +0200 @@ -629,7 +629,7 @@ of="book">Misérables. - + Le logo de Prismallia diff -r 9591f38effc4 -r 2d5de0246a8e RelaxNG/publidoc.rnc --- 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?,