From e8224c92156ba231428ea0e1d84b5202a7121661 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Fri, 3 Apr 2020 16:33:18 +0200 Subject: [PATCH] :art: Fix mdbook highlighting --- scripts/mdr2mdbook.sh | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) 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 -- 2.43.0