]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile.in
This commit was manufactured by cvs2svn to create branch
[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 f4e6b59..0000000
+++ /dev/null
@@ -1,41 +0,0 @@
-INSTALL_DIR=@RESOLVED_EXEC_PREFIX@/bin
-CGI_DIR=@HELM_CGI_DIR@
-
-all:
-
-install: installgetter installcgi
-
-uninstall: uninstallcgi uninstallgetter
-
-installgetter:
-       cp http_getter.pl $(INSTALL_DIR)/
-
-installcgi:
-       for f in *.cgi; do \
-  if [ -f $$f ]; then \
-   cp -f $$f $(CGI_DIR)/; \
-  fi; \
- done
-
-uninstallgetter:
-       rm $(INSTALL_DIR)/http_getter.pl
-
-uninstallcgi:
-       for f in *.cgi; do \
-  rm -f $(CGI_DIR)/$$f; \
- done
-
-clean:
-
-distclean: clean
-       rm -f Makefile configure config.log config.cache config.status \
-         http_getter.pl *.spec
-
-dist:   clean
-       rm -rf ../@PACKAGE@-@VERSION@
-       mkdir ../@PACKAGE@-@VERSION@
-       cp -r * ../@PACKAGE@-@VERSION@
-       (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
-
-.PHONY: all install distclean
-