X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fdebian%2Frules;h=83dee8f5cee759741013d55a45cbcfeb4d43d8dc;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d7f5ed8a2d61e0af9902adf6ab93ad184a7cafc1;hpb=b9b45789c66f82caa71363fb34487d0adaf4497c;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/debian/rules b/helm/DEVEL/ocaml-http/debian/rules
index d7f5ed8a2..83dee8f5c 100755
--- a/helm/DEVEL/ocaml-http/debian/rules
+++ b/helm/DEVEL/ocaml-http/debian/rules
@@ -25,7 +25,6 @@ install: build
 	dh_clean -k
 	dh_installdirs
 	$(MAKE) install DESTDIR=$(TARGETDIR)$(OCAML_LIB_DIR)
-	$(MAKE) doc
 
 binary-arch: build install
 	dh_testdir