# HG changeset patch
# User iinov
# Date 1599564311 -7200
# Node ID bb1c88842f0ca5441456a312e0419e8ec21ec9cd
# Parent  e04ad87592933745c3950dc40d937669db85ed01
Liste alpha

diff -r e04ad8759293 -r bb1c88842f0c RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	ven. sept. 06 11:45:56 2019 +0200
+++ b/RelaxNG/publidoc.rnc	mar. sept. 08 13:25:11 2020 +0200
@@ -454,9 +454,11 @@
 \list =
     element list {
         block.head?,
-        ( (attribute type {"ordered"}?, item, item+) |
+        ( (list.type.attribute?, item, item+) |
           (attribute type {"glossary"}, item.glossary+) ) }
 
+list.type.attribute = attribute type {"ordered" | "alpha" | "Alpha" }
+
 # ~~~~~~ item
 item = element item { item.content }