X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fdebian%2Frules;h=83dee8f5cee759741013d55a45cbcfeb4d43d8dc;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=498a5540e8589ad500c36048827361d959efbb6b;hpb=b5703de4f7697426ebda94fce2558add7c4f0285;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/debian/rules b/helm/DEVEL/ocaml-http/debian/rules
index 498a5540e..83dee8f5c 100755
--- a/helm/DEVEL/ocaml-http/debian/rules
+++ b/helm/DEVEL/ocaml-http/debian/rules
@@ -1,7 +1,6 @@
 #!/usr/bin/make -f
 
 #export DH_VERBOSE=1
-export DH_COMPAT=4
 
 TARGETDIR = $(CURDIR)/debian/libhttp-ocaml-dev
 OCAML_LIB_DIR = $(shell ocamlc -where)
@@ -26,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