]> matita.cs.unibo.it Git - helm.git/commitdiff
Install to findlib-defined dest dir, not to stdlib dir
authorLionel Mamane <??>
Wed, 31 Mar 2004 11:51:56 +0000 (11:51 +0000)
committerLionel Mamane <??>
Wed, 31 Mar 2004 11:51:56 +0000 (11:51 +0000)
helm/DEVEL/ocaml-http/Makefile

index 10585692654232084918ec6131f097c2a409e203..88e2a76abe7ba9ca7aa376e21fd6d3614875796e 100644 (file)
@@ -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