]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile.in
This commit was manufactured by cvs2svn to create branch 'pacchetti'.
[helm.git] / helm / http_getter / Makefile.in
diff --git a/helm/http_getter/Makefile.in b/helm/http_getter/Makefile.in
deleted file mode 100644 (file)
index ef76f95..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-HELM_BIN_DIR=@HELM_BIN_DIR@
-
-install:
-       cp http_getter.pl $(HELM_BIN_DIR)
-
-distclean:
-       rm -f Makefile configure config.log config.cache config.status \
-         http_getter.pl
-
-.PHONY: install distclean