From: Karolin Seeger <kseeger@samba.org>
Date: Wed, 29 May 2013 08:23:49 +0000 (+0200)
Subject: build-htmlman-git: Run build-htmlman-git with bash.
X-Git-Url: http://git.samba.org/?p=obnox%2Fsamba%2Fsamba-obnox.git;a=commitdiff_plain;h=fa3cca3fb0ab957604a29feda734f5bc7db7afdc

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>
---

diff --git a/release-scripts/build-htmlman-git b/release-scripts/build-htmlman-git
index 50707a4f17e..d85c703f4e1 100755
--- a/release-scripts/build-htmlman-git
+++ b/release-scripts/build-htmlman-git
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # Copyright (C) Michael Adam 2011
 #