From: Lionel Mamane Date: Wed, 31 Mar 2004 11:51:56 +0000 (+0000) Subject: Install to findlib-defined dest dir, not to stdlib dir X-Git-Tag: dead_dir_walking~104 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9cbd58217396efa32d61c5703a0c9b898b860e73;p=helm.git Install to findlib-defined dest dir, not to stdlib dir --- diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile index 105856926..88e2a76ab 100644 --- a/helm/DEVEL/ocaml-http/Makefile +++ b/helm/DEVEL/ocaml-http/Makefile @@ -16,7 +16,7 @@ OCAMLDOC_STUFF = *.mli $(patsubst %, %.ml, $(PUBLIC_IMPL)) DOCDIR = doc/html DOTDIR = doc/dot TEXDIR = doc/latex -DESTDIR = $(shell $(OCAMLFIND) printconf stdlib) +DESTDIR = $(shell $(OCAMLFIND) printconf destdir) all: all_non_mt all_mt opt: opt_non_mt opt_mt