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