From: Stefano Zacchiroli Date: Mon, 16 Jul 2007 14:05:57 +0000 (+0000) Subject: invoke make doc after build to create ocamldoc docs X-Git-Tag: 0.4.95@7852~332 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0a01dbf3cde1f098a35b4ff3919ceb2b5ab72f4e;p=helm.git invoke make doc after build to create ocamldoc docs --- diff --git a/DEVEL/ocaml-http/debian/rules b/DEVEL/ocaml-http/debian/rules index 51b217617..f342cfe26 100755 --- a/DEVEL/ocaml-http/debian/rules +++ b/DEVEL/ocaml-http/debian/rules @@ -9,5 +9,7 @@ DEB_MAKE_BUILD_TARGET = all ifeq ($(OCAML_HAVE_OCAMLOPT),yes) DEB_MAKE_BUILD_TARGET += opt endif +build/$(PKGNAME):: + $(MAKE) doc DEB_MAKE_INSTALL_TARGET = install DESTDIR=$(CURDIR)/debian/$(PKGNAME)$(OCAML_STDLIB_DIR)