X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fdist%2FMakefile;h=33aeac735f37adf000434eec487a6c37c2075b2c;hb=5ce8c290c718dca7fd18d376b42108f8b947637b;hp=dccc22f1537dc7dc116902a47dacf0e71464e08a;hpb=907853f340ed94e3f4e4a5c7b2f363a5c156cacd;p=helm.git

diff --git a/matita/dist/Makefile b/matita/dist/Makefile
index dccc22f15..33aeac735 100644
--- a/matita/dist/Makefile
+++ b/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