X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile.in;h=f7f047813a61344e93bea02de9e9ca443d22e9b4;hb=7795f00bdb9888a6e958e7794e67d6535e37fed9;hp=ef76f950b1ec6a0ed66f4110a3fb013f96b5378c;hpb=1b440a95339d60002dcd915dfaead012c08c30d4;p=helm.git

diff --git a/helm/http_getter/Makefile.in b/helm/http_getter/Makefile.in
index ef76f950b..f7f047813 100644
--- a/helm/http_getter/Makefile.in
+++ b/helm/http_getter/Makefile.in
@@ -1,10 +1,13 @@
-HELM_BIN_DIR=@HELM_BIN_DIR@
+INSTALL_DIR=@RESOLVED_EXEC_PREFIX@/bin
+
+all:
 
 install:
-	cp http_getter.pl $(HELM_BIN_DIR)
+	cp http_getter.pl $(INSTALL_DIR)
 
 distclean:
 	rm -f Makefile configure config.log config.cache config.status \
          http_getter.pl
 
-.PHONY: install distclean
+.PHONY: all install distclean
+