# 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~