get rid of tree dependency / check if command exists

2022-02-16 11:12:31 +01:00 · 2022-02-16 11:12:31 +01:00 · f2dfab5a45
commit f2dfab5a45
parent 9c43ced39a
1 changed files with 6 additions and 1 deletions
--- a/template/.ci/build_document.sh
+++ b/template/.ci/build_document.sh
@ -5,4 +5,9 @@ mkdir public
 mv build/$mainfile.pdf public
 mv build/$mainfile.log public
 cd public/
-tree -H '.' -I "index.html" -D --charset utf-8 -T "$course" > index.html
+if ! command -v tree &> /dev/null
+then
+  echo "No tree utility found, skipping making tree"
+else
+  tree -H '.' -I "index.html" -D --charset utf-8 -T "$course" > index.html
+fi