build-htmlman-nogit: Run build-htmlman-nogit with bash.
authorKarolin Seeger <kseeger@samba.org>
Wed, 29 May 2013 08:25:25 +0000 (10:25 +0200)
committerAndrew Bartlett <abartlet@samba.org>
Thu, 30 May 2013 02:48:06 +0000 (04:48 +0200)
commit09aaa991ef765405108c09c2059bbae2d897363e
tree217844159b9403e37af096cd9979ca58a9e0958b
parentfa3cca3fb0ab957604a29feda734f5bc7db7afdc
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 <kseeger@samba.org>
Reviewed-by: Andrew Bartlett <abartlet@samba.org>
Autobuild-User(master): Andrew Bartlett <abartlet@samba.org>
Autobuild-Date(master): Thu May 30 04:48:06 CEST 2013 on sn-devel-104
release-scripts/build-htmlman-nogit