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