Correction pour xmllint
authorPatrick PIERRE
lun., 13 janv. 2014 11:19:01 +0100
changeset 293 02671b229bdc
parent 292 68a36d507716
child 294 c66391a2e725
Correction pour xmllint
RelaxNG/publidoc.rnc
RelaxNG/publiquiz.rnc
RelaxNG/publiset.rnc
--- a/RelaxNG/publidoc.rnc	lun. janv. 13 01:37:03 2014 +0100
+++ b/RelaxNG/publidoc.rnc	lun. janv. 13 11:19:01 2014 +0100
@@ -721,8 +721,18 @@
  & warning*
 }
 
-inlines =
-   simple.inlines
+inlines = mixed {
+   sup*
+ & sub*
+ & var*
+ & number*
+ & math*
+ & date*
+ & name*
+ & acronym*
+ & term*
+ & warning*
+
  & literal*
  & foreign*
  & highlight*
@@ -738,6 +748,7 @@
  & link*
  & anchor*
  & index*
+}
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
--- a/RelaxNG/publiquiz.rnc	lun. janv. 13 01:37:03 2014 +0100
+++ b/RelaxNG/publiquiz.rnc	lun. janv. 13 11:19:01 2014 +0100
@@ -465,8 +465,18 @@
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-blanks.inlines =
-   simple.inlines
+blanks.inlines = mixed {
+   sup*
+ & sub*
+ & var*
+ & number*
+ & math*
+ & date*
+ & name*
+ & acronym*
+ & term*
+ & warning*
+
  & literal*
  & foreign*
  & highlight*
@@ -482,10 +492,22 @@
  & link*
  & anchor*
  & index*
+
  & blank*
+}
 
-point.inlines =
-   simple.inlines
+point.inlines = mixed {
+   sup*
+ & sub*
+ & var*
+ & number*
+ & math*
+ & date*
+ & name*
+ & acronym*
+ & term*
+ & warning*
+
  & literal*
  & foreign*
  & highlight*
@@ -501,9 +523,11 @@
  & link*
  & anchor*
  & index*
+
  & blank*
  & point.right*
  & point.wrong*
+}
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
--- a/RelaxNG/publiset.rnc	lun. janv. 13 01:37:03 2014 +0100
+++ b/RelaxNG/publiset.rnc	lun. janv. 13 11:19:01 2014 +0100
@@ -336,11 +336,16 @@
  & name*
 }
 
-inlines =
-   simple.inlines
+inlines = mixed {
+   sup*
+ & sub*
+ & date*
+ & name*
+
  & highlight*
  & emphasis*
  & link*
+}
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~