X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Futf8_macros%2FMakefile;h=018f58cefffa3a58efe6d193c47b6c7fe33f4bc1;hb=8b4337c1d962a6960df64d331a1826cad0b662c7;hp=e3afd40f61645dfeb93bc91860223bf78823fca7;hpb=1dd8ba456b2c38a912de788c3fc6a815e472d475;p=helm.git

diff --git a/helm/ocaml/utf8_macros/Makefile b/helm/ocaml/utf8_macros/Makefile
index e3afd40f6..018f58cef 100644
--- a/helm/ocaml/utf8_macros/Makefile
+++ b/helm/ocaml/utf8_macros/Makefile
@@ -32,5 +32,7 @@ distclean: extra_clean
 extra_clean:
 	rm -f make_table test
 
+STATS_EXCLUDE = utf8MacroTable.ml
+
 include ../Makefile.common