use bash

diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh
index e98f28dd13616ef73895757c05e223f5a357189e..fce7ed73b151d73b16f1abc0b6bbf3b9534c08fd 100644 (file)
--- a/scripts/mdr2mdbook.sh
+++ b/scripts/mdr2mdbook.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 footer() {
   cat << EOF