...

[helm.git] / matita / dist / Makefile

diff --git a/matita/dist/Makefile b/matita/dist/Makefile
index dccc22f1537dc7dc116902a47dacf0e71464e08a..33aeac735f37adf000434eec487a6c37c2075b2c 100644 (file)
--- 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