2022-02-17 12:52:31 +01:00
|
|
|
set -e
|
|
|
|
|
echo "Building document"
|
|
|
|
|
make pdf
|
|
|
|
|
mkdir public
|
|
|
|
|
mv build/2020_Heiratssatz.pdf public
|
|
|
|
|
mv build/2020_Heiratssatz.log public
|
|
|
|
|
cd public/
|
|
|
|
|
if ! command -v tree &> /dev/null
|
|
|
|
|
then
|
|
|
|
|
echo "No tree utility found, skipping making tree"
|
|
|
|
|
else
|
2022-02-17 13:00:24 +01:00
|
|
|
tree -H '.' -I "index.html" -D --charset utf-8 -T "Heiratssatz" > index.html
|
2022-02-17 12:52:31 +01:00
|
|
|
fi
|
