Liste alpha
authoriinov
mar., 08 sept. 2020 13:25:11 +0200
changeset 481 bb1c88842f0c
parent 480 e04ad8759293
child 482 3e61d427ccf1
Liste alpha
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 }