changeset 481 | bb1c88842f0c |
parent 476 | 6c30a3543cd8 |
child 482 | 3e61d427ccf1 |
--- 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 }