RelaxNG/publidoc.rnc
changeset 91 2ed9fc840ce6
parent 90 d5067911c762
child 93 3cd4f1dfbd59
--- a/RelaxNG/publidoc.rnc	jeu. mars 22 11:34:25 2012 +0100
+++ b/RelaxNG/publidoc.rnc	sam. mars 31 17:29:58 2012 +0200
@@ -499,6 +499,7 @@
  & term*
  & link*
  & anchor*
+ & initial*
 }
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -569,8 +570,9 @@
 note.label.attribute = attribute label { text }
 
 note.content =
-   inlines
- | p+
+   (w, p+) | inlines
+
+w = element w { inlines }
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
@@ -629,3 +631,13 @@
 anchor.attributes =
    anchor.id.attribute
 anchor.id.attribute = attribute xml:id { xsd:ID }
+
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ initial ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+initial = element initial { initial.content }
+
+initial.content =
+   c,
+   w?
+
+c = element c { text }