]> matita.cs.unibo.it Git - helm.git/commitdiff
invoke make doc after build to create ocamldoc docs
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jul 2007 14:05:57 +0000 (14:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jul 2007 14:05:57 +0000 (14:05 +0000)
DEVEL/ocaml-http/debian/rules

index 51b217617e57053f38ee694e6f0461450b84ac00..f342cfe2623f92f25a7ce2feb7a15740c09c4d96 100755 (executable)
@@ -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)