From 09fb7f2ee787ae79bdcf39be1a05d561d41f6f79 Mon Sep 17 00:00:00 2001 From: Frank Neumann Date: Thu, 25 May 2017 12:32:02 +0200 Subject: Change shell in docsrc2*.sh to /bin/bash, suggested by TomJoad@vdr-portal.de. --- docsrc2man.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docsrc2man.sh') diff --git a/docsrc2man.sh b/docsrc2man.sh index 7c3b4c7..e5e06df 100755 --- a/docsrc2man.sh +++ b/docsrc2man.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # Creates the man pages # -- cgit v1.2.3