really use bash

diff --git a/scripts/ensure.sh b/scripts/ensure.sh
index 4df69b8188d84b337ed295307084a9d031f134da..66d1995f73d87c5c8f4840184e72940f47623d58 100644 (file)
--- 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