From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 22 Nov 2002 10:47:44 +0000 (+0000)
Subject: - added targets relative to ocamldoc doc generation
X-Git-Tag: V_0_0_5~4
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9891e5853b5c05f4b60bf95b828d8f091fb7732c;p=helm.git

- added targets relative to ocamldoc doc generation
---

diff --git a/helm/DEVEL/ocaml-http/Makefile b/helm/DEVEL/ocaml-http/Makefile
index 22eb5fb80..591b21d99 100644
--- a/helm/DEVEL/ocaml-http/Makefile
+++ b/helm/DEVEL/ocaml-http/Makefile
@@ -7,6 +7,8 @@ DESTDIR = $(shell $(OCAMLFIND) printconf stdlib)
 all: http.cma
 opt: http.cmxa
 world: all opt
+doc: *.mli
+	$(OCAMLDOC) -html -d doc/html *.mli
 
 examples:
 	$(MAKE) -C examples/
@@ -36,8 +38,10 @@ META: META.in
 
 clean:
 	$(MAKE) -C examples/ clean
-	-rm -f *.cm[ioax] *.cmxa *.[ao] test{,.opt}
-distclean: clean
+	rm -f *.cm[ioax] *.cmxa *.[ao] test{,.opt}
+docclean:
+	rm -f doc/html/*.html doc/html/*.css
+distclean: clean docclean
 	$(MAKE) -C examples/ distclean
 	-rm -f META
 dist: distclean depend
@@ -57,5 +61,5 @@ install: META
 
 .PHONY:	\
 	all opt world examples examples.opt depend clean distclean dist	\
-	install meta
+	install meta doc
 
diff --git a/helm/DEVEL/ocaml-http/Makefile.defs b/helm/DEVEL/ocaml-http/Makefile.defs
index 770b320a5..e94f344ec 100644
--- a/helm/DEVEL/ocaml-http/Makefile.defs
+++ b/helm/DEVEL/ocaml-http/Makefile.defs
@@ -2,14 +2,17 @@ PKGNAME = http
 DISTVERSION = 0.0.5
 
 DEBUG_OPTS =
-COMMON_OPTS = $(DEBUG_OPTS) -pp camlp4o -package "unix,pcre,netstring,threads"
+REQUIRES = unix pcre netstring threads
+COMMON_OPTS = $(DEBUG_OPTS) -pp camlp4o -package "$(REQUIRES)"
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(COMMON_OPTS) -thread
 OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMON_OPTS) -thread
 OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMON_OPTS)
+OCAMLDOC = ocamldoc
 
 DISTNAME = ocaml-http
 DISTDIR = $(DISTNAME)-$(DISTVERSION)
-EXTRA_DIST = INSTALL LICENSE README META.in Makefile Makefile.defs .depend tophttp
+EXTRA_DIST =	\
+	INSTALL LICENSE README META.in Makefile Makefile.defs .depend tophttp doc