]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/Makefile
first moogle template checkin
[helm.git] / 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