]> Nishi Git Mirror - gwion.git/commitdiff
workaround indirection
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 19:58:33 +0000 (20:58 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 19:58:33 +0000 (20:58 +0100)
scripts/mdr2mdbook.sh

index 52da77e19d403843436c71e46dcdf89753b05f75..d3caf84feb976462ab0a50f5f238584bbf1b02b8 100644 (file)
@@ -25,7 +25,8 @@ ensure_dir() {
 doc2src() {
   mdr $1 || return
   mdfile=${1::-1}
-  target=$(sed 's/docs/md/' <<< $mdfile)
+#  target=$(sed 's/docs/md/' <<< $mdfile)
+  target=$(echo "$mdfile" | sed 's/docs/md/')
   ensure_dir $target
   mk_target $mdfile > $target
   rm $mdfile