--- a/RelaxNG/publidoc.rnc sam. nov. 24 09:21:12 2012 +0100
+++ b/RelaxNG/publidoc.rnc ven. nov. 30 14:41:09 2012 +0100
@@ -714,12 +714,14 @@
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ anchor ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-anchor = element anchor { anchor.attributes }
+anchor = element anchor { anchor.attributes, anchor.content }
anchor.attributes =
anchor.id.attribute
anchor.id.attribute = attribute xml:id { xsd:ID }
+anchor.content = inlines
+
# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ initial ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
initial = element initial { initial.content }