few more files, one diverges

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

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