changeset 142 | a9dda767468c |
parent 140 | 4c01e659284a |
child 143 | 4b67a859439a |
--- a/RelaxNG/publidoc.rnc mer. nov. 07 12:56:24 2012 +0100 +++ b/RelaxNG/publidoc.rnc ven. nov. 09 19:00:12 2012 +0100 @@ -46,8 +46,10 @@ document.attributes = document.id.attribute + & document.type.attribute? & lang.attribute? document.id.attribute = attribute id { xsd:NMTOKEN } +document.type.attribute = attribute type { xsd:NCName } lang.attribute = attribute xml:lang { xsd:language } document.content =