X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fsyntax_extensions%2Fmake_table.ml;fp=matitaB%2Fcomponents%2Fsyntax_extensions%2Fmake_table.ml;h=84787e896d6a97ac13c5cac98b34f013a2f61d83;hb=86b0a224bd9251ed22648de04bc0d00f11dbd0fc;hp=0e9a9ac12168c8cf571ed77bf84c9803f7d196ae;hpb=e499c2e36d8a39c4749b8e0e34438b49532d15b8;p=helm.git

diff --git a/matitaB/components/syntax_extensions/make_table.ml b/matitaB/components/syntax_extensions/make_table.ml
index 0e9a9ac12..84787e896 100644
--- a/matitaB/components/syntax_extensions/make_table.ml
+++ b/matitaB/components/syntax_extensions/make_table.ml
@@ -95,7 +95,7 @@ let main () =
   Hashtbl.iter
     (fun macro utf8 ->
             let hescape s = 
-               String.escaped (Netencoding.Html.encode ~in_enc:`Enc_utf8 () s) in
+               String.escaped (Netencoding.Html.encode ~prefer_name:false ~in_enc:`Enc_utf8 () s) in
             fprintf oc "  \"%s\", \"%s\";\n" macro (String.escaped utf8);
             fprintf oc_doc "\\%s %s\n" macro utf8;
             fprintf oc_js "macro2utf8[\"%s\"] = \"%s\";\n"