| changeset 423 | 0b803d5f38d4 |
| parent 419 | 9ee9258144c5 |
| child 425 | 730c4c305545 |
--- a/RelaxNG/publidoc.rnc lun. juin 20 10:03:22 2016 +0200 +++ b/RelaxNG/publidoc.rnc ven. juin 24 14:49:27 2016 +0200 @@ -397,6 +397,7 @@ glossary.entry.content = mainterm, + media?, meanings+, seealso* @@ -795,7 +796,8 @@ translation = element translation { simple.inlines } # ~~~~~~ dictum -dictum = element dictum { inlines } +dictum = element dictum { dictum.content } +dictum.content = p+ # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ seealso ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~