[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, updated. upstream/0.10-3-gc671b9f

[Hendrik Tews]

The following commit has been merged in the master branch:
commit c671b9fa6195616f7154591e3493b6b451b5c340
Author: Hendrik Tews <hendrik at askra.de>
Date:   Wed May 23 16:43:55 2012 +0200

    dh_gencontrol override & section

diff --git a/debian/control b/debian/control
index 40fe4d5..a6ff5aa 100644
--- a/debian/control
+++ b/debian/control
@@ -1,5 +1,5 @@
 Source: prooftree
-Section: x11
+Section: science
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders:
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index e69de29..0000000
diff --git a/debian/rules b/debian/rules
index 7e413f8..6327661 100755
--- a/debian/rules
+++ b/debian/rules
@@ -7,10 +7,8 @@
 # This special exception was added by Craig Small in version 0.37 of dh-make.
 
 # Uncomment this to turn on verbose mode.
-export DH_VERBOSE=1
-export DH_OPTIONS=-v
-
-include /usr/share/ocaml/ocamlvars.mk
+# export DH_VERBOSE=1
+# export DH_OPTIONS=-v
 
 # This has to be exported to make some magic below work.
 export DH_OPTIONS
@@ -26,7 +24,3 @@ override_dh_auto_clean:
 .PHONY: override_dh_auto_configure
 override_dh_auto_configure:
 	./configure --prefix /usr
-
-.PHONY: override_dh_gencontrol
-override_dh_gencontrol:
-	dh_gencontrol -- -VF:OCamlABI="$(OCAML_ABI)"

-- 
prooftree packaging