]> Nishi Git Mirror - gwion.git/commitdiff
:art: Fix mdbook highlighting
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 3 Apr 2020 14:33:18 +0000 (16:33 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 3 Apr 2020 14:33:18 +0000 (16:33 +0200)
scripts/mdr2mdbook.sh

index ce8da43dd624092ddc77150bd8a546acd80c49de..014f9620659e9f9bfac33d92054cef27faf9fdcd 100644 (file)
@@ -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