Some Requires were missing; the same checks are still missing in configure.in

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

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index 453d58b06fbf3963822d5093965a12ba1f3d45b6..b31b68e616f3a7bc37069cd4de48edc5564703ba 100644 (file)
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -175,13 +175,11 @@ clean:
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
 install:
-       cp experiment reduction fix_params mmlinterface \
-         experiment.opt reduction.opt fix_params.opt 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