ajout media dans glossary
authorCoraline MARKWITZ
ven., 24 juin 2016 14:49:27 +0200
changeset 423 0b803d5f38d4
parent 422 4840aea082dd
child 424 0c622a109d2f
ajout media dans glossary
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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~