author | iinov |
dim., 13 sept. 2020 19:53:22 +0200 | |
changeset 482 | 3e61d427ccf1 |
parent 481 | bb1c88842f0c |
child 483 | f0502295ea63 |
--- a/RelaxNG/publidoc.rnc mar. sept. 08 13:25:11 2020 +0200 +++ b/RelaxNG/publidoc.rnc dim. sept. 13 19:53:22 2020 +0200 @@ -457,7 +457,7 @@ ( (list.type.attribute?, item, item+) | (attribute type {"glossary"}, item.glossary+) ) } -list.type.attribute = attribute type {"ordered" | "alpha" | "Alpha" } +list.type.attribute = attribute type { "ordered" | "alpha" | "Alpha" } # ~~~~~~ item item = element item { item.content }