Mini-mode now hides/shows tab group widget and has a separate label

[disorder] / debian / rules

diff --git a/debian/rules b/debian/rules
index a4dfdc452201e72a6ab0f8ac4183a110e8181acf..620c77564d7ef2ac2b5d176bfa76ec3ef2841a54 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -60,6 +60,8 @@ SENDMAIL=/usr/sbin/sendmail
 LIBTOOL=./libtool
 FAKEROOT=fakeroot
 
+SHELL=bash
+
 # ./prepare is the script that generates configure etc.  It only needs to be
 # run if building from a checkout rather than a tarball.
 build:
@@ -141,6 +143,9 @@ pkg-disorder-server: build
        $(MKDIR) debian/disorder-server
        $(MKDIR) debian/disorder-server/DEBIAN
        $(MKDIR) debian/disorder-server/usr/share/doc/disorder-server
+       $(MKDIR) debian/disorder-server/usr/share/lintian/overrides
+       $(INSTALL_DATA) debian/overrides.disorder-server \
+           debian/disorder-server/usr/share/lintian/overrides/disorder-server
        $(INSTALL_DATA) debian/copyright \
                debian/disorder-server/usr/share/doc/disorder-server/copyright
        $(INSTALL_DATA) debian/changelog \