mywget renamed in helm_wget; autoconf used for helm_wget

[helm.git] / helm / interface / Makefile.in

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index 39328094c8ae0db36e4f5c75c247b9b922eb39b6..b31b68e616f3a7bc37069cd4de48edc5564703ba 100644 (file)
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -175,11 +175,11 @@ clean:
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
 install:
-       cp mmlinterface mmlinterface.opt $(HELM_BIN_DIR)
+       cp mmlinterface mmlinterface.opt helm_wget $(HELM_BIN_DIR)
 
 distclean:
-       rm -f Makefile configuration.ml configure config.log config.cache \
-         config.status
+       rm -f Makefile configuration.ml helm_wget configure config.log \
+         config.cache config.status
 
 .PHONY: install distclean clean