From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 3 Apr 2020 14:33:18 +0000 (+0200)
Subject: :art: Fix mdbook highlighting
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=e8224c92156ba231428ea0e1d84b5202a7121661;p=gwion.git

:art: Fix mdbook highlighting
---

diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh
index ce8da43d..014f9620 100644
--- a/scripts/mdr2mdbook.sh
+++ b/scripts/mdr2mdbook.sh
@@ -11,7 +11,7 @@ EOF
 }
 
 mk_target() {
-  sed 's/```\(.*\)gw/```\1cpp/' $1 |
+  sed 's/```\(.*\)gw/```cpp/' $1 |
     sed 's#:gwion:#[Gwion](https://github.com/fennecdjay/Gwion)#g'
   footer
 }
@@ -21,11 +21,9 @@ ensure_dir() {
 }
 
 doc2src() {
-  echo $1
   mdr $1 || return
   mdfile=${1::-1}
-#  target=$(sed 's/docs/md/' <<< $mdfile)
-  target=$(echo "$mdfile" | sed 's/docs/src/')
+  target=$(sed 's/docs/src/' <<< $mdfile)
   ensure_dir $target
   mk_target $mdfile > $target
   rm $mdfile