# HG changeset patch # User Coraline MARKWITZ # Date 1466772567 -7200 # Node ID 0b803d5f38d4730f9bf9b04941c9a20dba434372 # Parent 4840aea082dd6aae07b8c9c290350de14ba308b7 ajout media dans glossary diff -r 4840aea082dd -r 0b803d5f38d4 RelaxNG/publidoc.rnc --- 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~