X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Finterface%2FMakefile.in;h=86ea2f501fd3ba0ec1d4a2c2697740bf4c30c54f;hb=251e34e3e92475a72223f16cc2ce607c9db6a671;hp=fe2a0dc4517e4dc2ddcc199a8d329b48f4cd8322;hpb=8f7e3b73f8bc15cabcb2b6e84e73b5e611b1d548;p=helm.git

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index fe2a0dc45..86ea2f501 100644
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -1,5 +1,5 @@
 OCAML_ROOT = @OCAML_ROOT@
-HELM_BIN_DIR = @HELM_BIN_DIR@
+BIN_DIR = @BIN_DIR@
 LABLGTK_DIR = @LABLGTK_LIB_DIR@
 LABLGTKMATHVIEW_DIR = @LABLGTKMATHVIEW_LIB_DIR@
 MINIDOM_DIR = @MLMINIDOM_LIB_DIR@
@@ -178,7 +178,7 @@ clean:
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
 install:
-	cp mmlinterface mmlinterface.opt helm_wget $(HELM_BIN_DIR)
+	cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)
 
 distclean:
 	rm -f Makefile configuration.ml helm_wget configure config.log \