fixed many scripts that broke for various reasons

[helm.git] / helm / software / matita / dist / Makefile

diff --git a/helm/software/matita/dist/Makefile b/helm/software/matita/dist/Makefile
index dccc22f1537dc7dc116902a47dacf0e71464e08a..c7b9de92b495b519842fc3991dd1fb28aa07ad4c 100644 (file)
--- 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: