--- ./scripts/gendiff.org	2008-04-06 10:48:23.000000000 +0200
+++ ./scripts/gendiff	2009-02-11 15:44:23.070120721 +0100
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 function usage () {
   echo "usage: $0 <directory> <diff-extension>" 1>&2