game-theory-in-flow-problems/.ci/build_document.sh

14 lines
386 B
Bash
Raw Normal View History

2023-10-09 07:19:22 +02:00
set -e
echo "Building document"
make pdf
mkdir public
mv build/2023_Game_Theory_in_Flow_Problems.pdf public
mv build/2023_Game_Theory_in_Flow_Problems.log public
cd public/
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 "Optimization and Game Theory in Flow Problems" > index.html
fi