improved autoconfiguration (well, maybe)

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

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index fe2a0dc4517e4dc2ddcc199a8d329b48f4cd8322..86ea2f501fd3ba0ec1d4a2c2697740bf4c30c54f 100644 (file)
--- 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 \