]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/Makefile
- added targets relative to ocamldoc doc generation
[helm.git] / helm / DEVEL / ocaml-http / Makefile
index 22eb5fb80164a2dae55ecdf2fa9ae1644aee0676..591b21d990c0ebe5f2e47a5abfb48ef528b92c21 100644 (file)
@@ -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