release-scripts: run build-manpages-git with bash

On debian/ubuntu, the "dash" which is sh, does not provide pushd/popd... Signed-off-by: Stefan Metzmacher <[email protected]>
darabosj · Sep 12, 2012 · 3c5d2d5 · 3c5d2d5
1 parent cfdab79
commit 3c5d2d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/release-scripts/build-manpages-git b/release-scripts/build-manpages-git
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # Copyright (C) Michael Adam 2010
 #