X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile.in;h=b31b68e616f3a7bc37069cd4de48edc5564703ba;hb=0772a856cc336f4cbe362f3765b321dcbc129d64;hp=453d58b06fbf3963822d5093965a12ba1f3d45b6;hpb=2540cc551ae097178c7e11ec578b58977a35bd3b;p=helm.git

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index 453d58b06..b31b68e61 100644
--- 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