RelaxNG/publidoc.rnc
changeset 388 954f6aef52d6
parent 384 2f3e64c81871
child 397 92b1431dc38d
--- 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 }