X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=0.1.4-1%2Fdebian%2Frules;h=f342cfe2623f92f25a7ce2feb7a15740c09c4d96;hb=27449de06296b6ba1215486c8703a17845271996;hp=51b217617e57053f38ee694e6f0461450b84ac00;hpb=ccdf10e3eed0a9f2b0fc7735fdea537f3e147e5d;p=helm.git

diff --git a/0.1.4-1/debian/rules b/0.1.4-1/debian/rules
index 51b217617..f342cfe26 100755
--- a/0.1.4-1/debian/rules
+++ b/0.1.4-1/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)