[Pkg-ocaml-maint-commits] [coq] 07/09: Bump debhelper compat level to 9

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository coq.

commit b9fae9be4d5dc1f78de28d062d4052727dc1e3c3
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Jul 27 10:37:59 2014 +0200

    Bump debhelper compat level to 9
---
 debian/compat  | 2 +-
 debian/control | 2 +-
 debian/rules   | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/debian/compat b/debian/compat
index 7f8f011..ec63514 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+9
diff --git a/debian/control b/debian/control
index 7fccaca..c323cf4 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Uploaders:
  Stéphane Glondu <glondu at debian.org>
 Standards-Version: 3.9.5
 Build-Depends:
- debhelper (>= 7.2.11~),
+ debhelper (>= 9),
  dh-ocaml (>= 0.9.5~),
  ocaml-nox (>= 4),
  ocaml-best-compilers,
diff --git a/debian/rules b/debian/rules
index d700960..6343da5 100755
--- a/debian/rules
+++ b/debian/rules
@@ -36,13 +36,13 @@ export OCAMLINIT_SED += \
   -e 's%@CoqABI@%$(COQ_ABI)%'
 
 %:
-	+dh --with ocaml $@
+	+dh $@ --with ocaml
 
 # There is already a file named "build" in upstream sources, so the
 # above rule is never called. We make it explicitly a phony rule here.
 .PHONY: build
 build:
-	+dh --with ocaml $@
+	+dh $@ --with ocaml
 
 .PHONY: override_dh_auto_configure
 override_dh_auto_configure:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git