From 176ad325b77cecbaeb37af794752ff8936d3f77b Mon Sep 17 00:00:00 2001
From: Roland Hieber <devnull@localhost>
Date: Wed, 25 Feb 2009 04:01:48 +0100
Subject: [PATCH] make fails if shell is not bash -- I will fix bashisms
 somewhere in the future

---
 Makefile     | 1 +
 debian/rules | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3e1bf35..2cc3765 100644
--- a/Makefile
+++ b/Makefile
@@ -26,6 +26,7 @@
 # THE SOFTWARE.
 #
 
+SHELL=/bin/bash
 INSTALLDIR=/opt/iserv
 LN=ln -f
 RM=rm -rf
diff --git a/debian/rules b/debian/rules
index 46f3010..c8b5c3d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,7 +20,7 @@ binary-indep:
 	dh_testdir
 	dh_testroot
 	dh_installchangelogs 
-	dh_installdocs doc/{changelog.old.html,TODO} doc/source/
+	dh_installdocs doc/changelog.old.html doc/TODO doc/source/
 	#dh_installexamples
 	##dh_install
 	##dh_installmenu
-- 
2.20.1