From 0fd72a3fc631762449349e8765dc87404aad539b Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Thu, 16 Jan 2020 21:19:17 +0100 Subject: [PATCH] really use bash --- scripts/ensure.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.43.0