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

workaround indirection
---

diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh
index 52da77e1..d3caf84f 100644
--- a/scripts/mdr2mdbook.sh
+++ b/scripts/mdr2mdbook.sh
@@ -25,7 +25,8 @@ ensure_dir() {
 doc2src() {
   mdr $1 || return
   mdfile=${1::-1}
-  target=$(sed 's/docs/md/' <<< $mdfile)
+#  target=$(sed 's/docs/md/' <<< $mdfile)
+  target=$(echo "$mdfile" | sed 's/docs/md/')
   ensure_dir $target
   mk_target $mdfile > $target
   rm $mdfile