RelaxNG/publidoc.rnc
changeset 147 ef6d2a49afba
parent 146 aba988da5d50
child 155 1568fa18df9e
--- 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 }