# HG changeset patch
# User Patrick PIERRE <patrick.pierre@prismallia.fr>
# Date 1375524221 -7200
# Node ID 5763ffc01aebad51a32f24218a0375fc8f2eb053
# Parent  95f81124351c953d01b77f2d911286cb443fd30e
Hotspot vide

diff -r 95f81124351c -r 5763ffc01aeb RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	mar. juil. 23 18:20:45 2013 +0200
+++ b/RelaxNG/publidoc.rnc	sam. août 03 12:03:41 2013 +0200
@@ -359,7 +359,7 @@
 
 # ~~~~~~ image
 image = element image { image.attributes, image.content }
-hotspot.image = element image {image.attributes }
+hotspot.image = element image { image.attributes }
 
 image.attributes =
    media.id.attribute
@@ -406,6 +406,7 @@
 hotspot.content =
    ((link | p+ | hotspot.image | audio | video), (spot, scenario?)?)
  | (spot, scenario?)
+ | empty 
    
 # ~~~~~~ spot
 spot = element spot { spot.attributes, spot.content }