# HG changeset patch
# User Patrick PIERRE <patrick.pierre@prismallia.fr>
# Date 1343683437 -7200
# Node ID 59658f3a4f6f6c7036ff618dc4c5ad5b1b7e5a02
# Parent  dd9b04a5483942f9bdcb4ddfab943ddec1b1dbca
Ajout de <highlight> et <name>

diff -r dd9b04a54839 -r 59658f3a4f6f RelaxNG/publiset.rnc
--- a/RelaxNG/publiset.rnc	jeu. juil. 26 18:35:33 2012 +0200
+++ b/RelaxNG/publiset.rnc	lun. juil. 30 23:23:57 2012 +0200
@@ -263,6 +263,8 @@
 inlines = mixed {
    sup*
  & sub*
+ & name*
+ & highlight*
 }
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -271,6 +273,23 @@
 
 sub = element sub { inlines }
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+name = element name { name.attributes, name.content }
+
+name.attributes =
+   name.of.attribute?
+name.of.attribute = attribute of
+   { "person" | "company" | "book" | "newspaper" | "party" }
+
+name.content = inlines
+
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+highlight = element highlight { highlight.content }
+
+highlight.content = inlines
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 link = element link { link.attributes, link.content }