changeset 71 | 91ae8b8e07c6 |
parent 70 | 5d58a740a067 |
child 72 | c85252fac80c |
--- a/RelaxNG/publidoc.rnc lun. janv. 09 19:21:44 2012 +0100 +++ b/RelaxNG/publidoc.rnc jeu. janv. 12 18:17:05 2012 +0100 @@ -328,7 +328,7 @@ \list.content = block.head?, - ( (attribute type {"ordered"} ?, item, item+) + ( (attribute type {"ordered"}?, item, item+) | (attribute type {"glossary"}, glossary.item+) ) # ~~~~~~ item