X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdist%2FMakefile;h=c7b9de92b495b519842fc3991dd1fb28aa07ad4c;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=669137bf2d46c92c72f5ee693145ca8e73ef6abe;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/matita/dist/Makefile b/helm/software/matita/dist/Makefile
index 669137bf2..c7b9de92b 100644
--- a/helm/software/matita/dist/Makefile
+++ b/helm/software/matita/dist/Makefile
@@ -1,7 +1,10 @@
 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
+
 all: static_link
 clean: static_link_clean
 .PHONY: static_link
@@ -15,3 +18,5 @@ matita_stdlib.sql:
 	mysqldump $(MYSQL_FLAGS) $(DB) $(TABLES) > $@
 %.gz: %
 	gzip -c $< > $@
+
+dist_pre: