From e4ffa414288e131786dacdbece625c3a85454160 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Thu, 16 Jan 2020 21:13:16 +0100 Subject: [PATCH] use bash --- scripts/mdr2mdbook.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh index e98f28dd..fce7ed73 100644 --- a/scripts/mdr2mdbook.sh +++ b/scripts/mdr2mdbook.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash footer() { cat << EOF -- 2.43.0