]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/Makefile.in
...
[helm.git] / helm / http_getter / Makefile.in
index dcf22fc7950b85497dbf8977644b04d3f7b19779..ef76f950b1ec6a0ed66f4110a3fb013f96b5378c 100644 (file)
@@ -1,4 +1,4 @@
-HELM_BIN_DIR=@exec_prefix@
+HELM_BIN_DIR=@HELM_BIN_DIR@
 
 install:
        cp http_getter.pl $(HELM_BIN_DIR)