...

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

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index 453d58b06fbf3963822d5093965a12ba1f3d45b6..39328094c8ae0db36e4f5c75c247b9b922eb39b6 100644 (file)
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -175,9 +175,7 @@ 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_BIN_DIR)
 
 distclean:
        rm -f Makefile configuration.ml configure config.log config.cache \