debian/{compat,control}: Update to debhelper compatibility level 12.

We now use the new virtual package `debhelper-compat (= 12)` to specify that
we want level 12. Yay to removed redundancy!

diff --git a/debian/compat b/debian/compat
deleted file mode 100644 (file)
index b4de394..0000000
--- a/debian/compat
+++ /dev/null
@@ -1 +0,0 @@
-11

diff --git a/debian/control b/debian/control
index 05eb18280b7449b174dc81bf1f0f16c655219c56..b675148ad26bd86a82e0a503e0755d8aafe34364 100644 (file)
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Section: web
 Priority: optional
 Build-Depends:
  bash-completion,
- debhelper (>= 11),
+ debhelper-compat (= 12),
  dh-exec,
  dh-python,
  pandoc,