From f2dfab5a45ff050362627735c48f006ba7b322ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Wed, 16 Feb 2022 11:12:31 +0100
Subject: [PATCH] get rid of tree dependency / check if command exists

---
 template/.ci/build_document.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/template/.ci/build_document.sh b/template/.ci/build_document.sh
index aa814ed..d2da9e0 100755
--- 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