]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/debian/rules
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / debian / rules
index 5a76802cc40fb7cb81e27c1b6cff66bc0847aece..933fd24d2f397fe1ade4d8700ca2c4b16d5600be 100755 (executable)
@@ -3,8 +3,6 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
-export DH_COMPAT=4
-
 # These are used for cross-compiling and for saving the configure script
 # from having to guess our platform (since we know it already)
 DEB_HOST_GNU_TYPE   ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)