X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fdebian%2Frules;h=d7f5ed8a2d61e0af9902adf6ab93ad184a7cafc1;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;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..d7f5ed8a2 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)