other try

diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh
index e8473b96ce5cff36ec73538cac9fc24aa2ca363f..e98f28dd13616ef73895757c05e223f5a357189e 100644 (file)
--- 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)