RelaxNG/publidoc.rnc
changeset 140 4c01e659284a
parent 138 06fb88fe4136
child 142 a9dda767468c
--- a/RelaxNG/publidoc.rnc	lun. oct. 01 19:12:55 2012 +0200
+++ b/RelaxNG/publidoc.rnc	ven. oct. 19 11:31:59 2012 +0200
@@ -560,10 +560,11 @@
  & note*
  & foreign*
  & highlight*
- & mentioned*
  & quote*
  & acronym*
+ & mentioned*
  & term*
+ & literal*
  & link*
  & anchor*
  & initial*
@@ -658,12 +659,6 @@
 
 highlight.content = inlines
 
-# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mentioned ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-
-mentioned = element mentioned { mentioned.content }
-
-mentioned.content = inlines
-
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 quote = element quote { quote.content }
@@ -681,12 +676,24 @@
 
 acronym.content = inlines
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mentioned ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+mentioned = element mentioned { mentioned.content }
+
+mentioned.content = inlines
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ term ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 term = element term { term.content }
 
 term.content = inlines
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+literal = element literal { literal.content }
+
+literal.content = text
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 link = element link { link.attributes, link.content }