X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2FMakefile.in;h=1e4dfdd8f1aedde1133654a077ab01e718472bd6;hb=6f6b8f33397548319fef9b374f9e9017e7fa151d;hp=fac5c98c758edbcbc4006305a974eb1ae2ad061d;hpb=09aa799947c84148221af82e94e911adea8fd1e6;p=helm.git

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index fac5c98c7..1e4dfdd8f 100644
--- a/helm/DEVEL/mlminidom/Makefile.in
+++ b/helm/DEVEL/mlminidom/Makefile.in
@@ -13,7 +13,7 @@ PREDICATES =
 OCAMLC = ocamlfind ocamlc
 OCAMLOPT = ocamlfind ocamlopt
 OCAMLDEP = ocamldep
-DESTDIR = /usr/lib/ocaml
+DESTDIR = @OCAML_LIB_DIR@
 
 ARCHIVE = $(PACKAGE).cma
 ARCHIVE_C = $(PACKAGE).a