From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Thu, 16 Jan 2020 20:13:16 +0000 (+0100)
Subject: use bash
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=e4ffa414288e131786dacdbece625c3a85454160;p=gwion.git

use bash
---

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