(no commit message)

[helm.git] / matitaB / components / syntax_extensions / make_table.ml

diff --git a/matitaB/components/syntax_extensions/make_table.ml b/matitaB/components/syntax_extensions/make_table.ml
index 0e9a9ac12168c8cf571ed77bf84c9803f7d196ae..84787e896d6a97ac13c5cac98b34f013a2f61d83 100644 (file)
--- 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"