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

really use bash
---

diff --git a/scripts/ensure.sh b/scripts/ensure.sh
index 4df69b81..66d1995f 100644
--- a/scripts/ensure.sh
+++ b/scripts/ensure.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-[ -d md ] || sh scripts/mdr2mdbook.sh
+[ -d md ] || bash scripts/mdr2mdbook.sh
 
 [ -f md/SUMMARY.md ] || sh scripts/summary.sh > md/SUMMARY.md