build-htmlman-git: Run build-htmlman-git with bash.
commitfa3cca3fb0ab957604a29feda734f5bc7db7afdc
authorKarolin Seeger <kseeger@samba.org>
Wed, 29 May 2013 08:23:49 +0000 (29 10:23 +0200)
committerAndrew Bartlett <abartlet@samba.org>
Thu, 30 May 2013 00:57:40 +0000 (30 10:57 +1000)
tree4605e6ae74efde897f4e311f9c6e150c73b97a75
parent737dd2a9fd91a27affd61087639cdc1df21b1cc0
build-htmlman-git: Run build-htmlman-git 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>
release-scripts/build-htmlman-git