--- a/RelaxNG/publidoc.rnc sam. juin 13 09:36:13 2015 +0200
+++ b/RelaxNG/publidoc.rnc sam. juin 13 11:14:32 2015 +0200
@@ -216,7 +216,7 @@
document = element document { document.attributes, document.content }
document.attributes =
- document.id.attribute
+ document.id.attribute?
& document.type.attribute?
& lang.attribute?
document.id.attribute = attribute id { xsd:NMTOKEN }
@@ -232,7 +232,7 @@
top.topic = element topic { top.topic.attributes, top.topic.content }
top.topic.attributes =
- topic.id.attribute
+ topic.id.attribute?
& topic.type.attribute?
& lang.attribute?
topic.id.attribute = attribute id { xsd:NMTOKEN }