# HG changeset patch
# User Patrick PIERRE <patrick.pierre@prismallia.fr>
# Date 1352484012 -3600
# Node ID a9dda767468c5e0224a3cb2c9a80478942e5c4ba
# Parent  c9c48f6453f410d05db084fd7ffb3b0f50b0995e
Ajout d'un type au document

diff -r c9c48f6453f4 -r a9dda767468c RelaxNG/publidoc.rnc
--- 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 =