From 09aaa991ef765405108c09c2059bbae2d897363e Mon Sep 17 00:00:00 2001 From: Karolin Seeger Date: Wed, 29 May 2013 10:25:25 +0200 Subject: [PATCH] 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 Reviewed-by: Andrew Bartlett Autobuild-User(master): Andrew Bartlett Autobuild-Date(master): Thu May 30 04:48:06 CEST 2013 on sn-devel-104 --- release-scripts/build-htmlman-nogit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release-scripts/build-htmlman-nogit b/release-scripts/build-htmlman-nogit index 7e6f0612dfb..57d0c423360 100755 --- 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 # -- 2.34.1