]> Nishi Git Mirror - gwion.git/commitdiff
other try
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 20:02:42 +0000 (21:02 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 20:02:42 +0000 (21:02 +0100)
scripts/mdr2mdbook.sh

index d3caf84feb976462ab0a50f5f238584bbf1b02b8..e8473b96ce5cff36ec73538cac9fc24aa2ca363f 100644 (file)
@@ -39,9 +39,8 @@ runall() {
   done
 }
 
-ensure_dir "$(dirname $1)"
 if [[ "$1" == *".mdr" ]]
-then doc2src $1
+then doc2src "$1"
 if [ "$(git status -s | grep docs)" ]
 then sh scripts/summary.sh > md/SUMMARY.md
 fi