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

diff --git a/helm/software/matita/dist/Makefile b/helm/software/matita/dist/Makefile
index dccc22f15..c7b9de92b 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
@@ -19,9 +19,4 @@ matita_stdlib.sql:
 %.gz: %
 	gzip -c $< > $@
 
-dist_pre: INSTALL README
-INSTALL: $(MANUAL_DIR)/txt-stamp
-	cp $(MANUAL_DIR)/sec_install.txt $@
-$(MANUAL_DIR)/txt-stamp:
-	$(MAKE) -C $(MANUAL_DIR) txt-stamp
-
+dist_pre: