]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/Makefile
added generation of KLOCs in dot diagrams
[helm.git] / helm / ocaml / utf8_macros / Makefile
index e3afd40f61645dfeb93bc91860223bf78823fca7..018f58cefffa3a58efe6d193c47b6c7fe33f4bc1 100644 (file)
@@ -32,5 +32,7 @@ distclean: extra_clean
 extra_clean:
        rm -f make_table test
 
+STATS_EXCLUDE = utf8MacroTable.ml
+
 include ../Makefile.common