X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdist%2FMakefile;h=33aeac735f37adf000434eec487a6c37c2075b2c;hb=6b61a9e6698a7c1936adf217b599e34e65a5e4c9;hp=dccc22f1537dc7dc116902a47dacf0e71464e08a;hpb=c4f04f460838ee0450e73f96bda214b7988b16a6;p=helm.git

diff --git a/helm/software/matita/dist/Makefile b/helm/software/matita/dist/Makefile
index dccc22f15..33aeac735 100644
--- a/helm/software/matita/dist/Makefile
+++ b/helm/software/matita/dist/Makefile
@@ -1,6 +1,6 @@
 MYSQL_FLAGS = --extended_insert --lock-tables=off --no-create-info
 DB = -u helm -h mowgli.cs.unibo.it matita
-TABLE_CREATOR = ../../ocaml/metadata/table_creator/table_creator
+TABLE_CREATOR = ../../components/binaries/table_creator/table_creator
 TABLES := $(shell $(TABLE_CREATOR) list all)
 MANUAL_DIR = ../help/C
 WEB_DIR = ../../../www/matita