# HG changeset patch
# User iinov
# Date 1600019602 -7200
# Node ID 3e61d427ccf13aea41ffa1c89412e6280b33c342
# Parent  bb1c88842f0ca5441456a312e0419e8ec21ec9cd
Ajout espace

diff -r bb1c88842f0c -r 3e61d427ccf1 RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	mar. sept. 08 13:25:11 2020 +0200
+++ b/RelaxNG/publidoc.rnc	dim. sept. 13 19:53:22 2020 +0200
@@ -457,7 +457,7 @@
         ( (list.type.attribute?, item, item+) |
           (attribute type {"glossary"}, item.glossary+) ) }
 
-list.type.attribute = attribute type {"ordered" | "alpha" | "Alpha" }
+list.type.attribute = attribute type { "ordered" | "alpha" | "Alpha" }
 
 # ~~~~~~ item
 item = element item { item.content }