From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 16 Jul 2007 14:05:57 +0000 (+0000)
Subject: invoke make doc after build to create ocamldoc docs
X-Git-Tag: make_still_working~6181
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d8588a6a1b10c45923ec854ce3ba8ae51a309371;p=helm.git

invoke make doc after build to create ocamldoc docs
---

diff --git a/helm/software/DEVEL/ocaml-http/debian/rules b/helm/software/DEVEL/ocaml-http/debian/rules
index 51b217617..f342cfe26 100755
--- a/helm/software/DEVEL/ocaml-http/debian/rules
+++ b/helm/software/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)