release-scripts: run build-manpages-git with bash
authorMichael Adam <obnox@samba.org>
Wed, 12 Sep 2012 15:37:17 +0000 (17:37 +0200)
committerStefan Metzmacher <metze@samba.org>
Wed, 12 Sep 2012 21:52:45 +0000 (23:52 +0200)
On debian/ubuntu, the "dash" which is sh, does not
provide pushd/popd...

Signed-off-by: Stefan Metzmacher <metze@samba.org>
release-scripts/build-manpages-git

index 0f3568d4bbe65ec64a42d2f2e7d35e0581bcd4f9..af4734d048661d5cdd905d9aa63f4db544aeac12 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # Copyright (C) Michael Adam 2010
 #
 #
 # Copyright (C) Michael Adam 2010
 #