X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2FDEVEL%2Focaml-http%2FMakefile;h=591b21d990c0ebe5f2e47a5abfb48ef528b92c21;hb=89f66fb120d2050dba35498581874d607afbbbd6;hp=22eb5fb80164a2dae55ecdf2fa9ae1644aee0676;hpb=dfc2157c1067b9958c182b25df103744cc8feb27;p=helm.git

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