X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FMakefile.defs;h=6fd4b75f8999db82eecdaa2d4be88c27cc80cf2a;hb=9f60b3b0f4460aec52ec241037f6c475b421dd15;hp=642a7acb5fbd5f7cd42b488695067a80dcad3e74;hpb=84da82981de31834b38693a8da428373571b556f;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/Makefile.defs b/helm/DEVEL/ocaml-http/Makefile.defs
index 642a7acb5..6fd4b75f8 100644
--- a/helm/DEVEL/ocaml-http/Makefile.defs
+++ b/helm/DEVEL/ocaml-http/Makefile.defs
@@ -9,7 +9,12 @@ OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(COMMON_FLAGS)
 OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMON_FLAGS)
 OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMON_FLAGS)
-OCAMLDOC := ocamldoc -I $(shell $(OCAMLFIND) query netstring)
+OCAMLDOC :=	\
+	ocamldoc	\
+		$(shell $(OCAMLFIND) query -i-format unix)	\
+		$(shell $(OCAMLFIND) query -i-format pcre)	\
+		$(shell $(OCAMLFIND) query -i-format netstring)
+DOT = dot
 
 DISTNAME = ocaml-http
 DISTDIR = $(DISTNAME)-$(DISTVERSION)