From b9fae9be4d5dc1f78de28d062d4052727dc1e3c3 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 27 Jul 2014 10:37:59 +0200
Subject: Bump debhelper compat level to 9

---
 debian/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'debian/rules')

diff --git a/debian/rules b/debian/rules
index d700960d..6343da50 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:
-- 
cgit v1.2.3