X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fdebian%2Frules;h=d7f5ed8a2d61e0af9902adf6ab93ad184a7cafc1;hb=741b3e9014f940fbbd34bee7b606ff7e72170452;hp=f5dc341f76fbf86810e2cc11ee03a4478fb0b2bd;hpb=2f28bfb47f5fad6b3c5a705d9ede95700416dee8;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/debian/rules b/helm/DEVEL/ocaml-http/debian/rules
index f5dc341f7..d7f5ed8a2 100755
--- a/helm/DEVEL/ocaml-http/debian/rules
+++ b/helm/DEVEL/ocaml-http/debian/rules
@@ -1,9 +1,9 @@
 #!/usr/bin/make -f
 
 #export DH_VERBOSE=1
-export DH_COMPAT=4
 
-TARGETDIR=$(CURDIR)/debian/libhttp-ocaml-dev
+TARGETDIR = $(CURDIR)/debian/libhttp-ocaml-dev
+OCAML_LIB_DIR = $(shell ocamlc -where)
 
 build: build-stamp
 build-stamp:
@@ -24,7 +24,8 @@ install: build
 	dh_testroot
 	dh_clean -k
 	dh_installdirs
-	$(MAKE) install DESTDIR=$(TARGETDIR)/usr/lib/ocaml
+	$(MAKE) install DESTDIR=$(TARGETDIR)$(OCAML_LIB_DIR)
+	$(MAKE) doc
 
 binary-arch: build install
 	dh_testdir