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

diff --git a/helm/software/matita/dist/Makefile b/helm/software/matita/dist/Makefile
index 33aeac735..c7b9de92b 100644
--- a/helm/software/matita/dist/Makefile
+++ b/helm/software/matita/dist/Makefile
@@ -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: