build-htmlman-nogit: Run build-htmlman-nogit with bash.

On debian/ubuntu, the "dash" which is sh, does not provide pushd/popd... Signed-off-by: Karolin Seeger <[email protected]> Reviewed-by: Andrew Bartlett <[email protected]> Autobuild-User(master): Andrew Bartlett <[email protected]> Autobuild-Date(master): Thu May 30 04:48:06 CEST 2013 on sn-devel-104
dut3062796s · May 30, 2013 · 09aaa99 · 09aaa99
1 parent fa3cca3
commit 09aaa99
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/release-scripts/build-htmlman-nogit b/release-scripts/build-htmlman-nogit
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # Copyright (C) Michael Adam 2011
 #