From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Thu, 16 Jan 2020 20:05:40 +0000 (+0100)
Subject: other try
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=b913e598734f46f2dc799d7007d3031c857e51ca;p=gwion.git

other try
---

diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh
index e8473b96..e98f28dd 100644
--- a/scripts/mdr2mdbook.sh
+++ b/scripts/mdr2mdbook.sh
@@ -23,6 +23,7 @@ ensure_dir() {
 }
 
 doc2src() {
+  echo $1
   mdr $1 || return
   mdfile=${1::-1}
 #  target=$(sed 's/docs/md/' <<< $mdfile)