From b9389798314bc1163be7ea8fc89823c2666ecd78 Mon Sep 17 00:00:00 2001 From: Michael Adam Date: Wed, 12 Sep 2012 17:38:04 +0200 Subject: release-scripts: run build-manpages-nogit with bash On debian/ubuntu, the "dash" which is sh, does not provide pushd/popd... Signed-off-by: Stefan Metzmacher --- release-scripts/build-manpages-nogit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'release-scripts/build-manpages-nogit') diff --git a/release-scripts/build-manpages-nogit b/release-scripts/build-manpages-nogit index dbf12117fa..e5d51efda9 100755 --- a/release-scripts/build-manpages-nogit +++ b/release-scripts/build-manpages-nogit @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # Copyright (C) Michael Adam 2010 # -- cgit