This repository has been archived on 2023-10-20. You can view files and clone it, but cannot push or open issues or pull requests.
probability-theory/.ci/build_document.sh
2023-04-13 16:14:55 +02:00

13 lines
329 B
Bash
Executable file

set -e
echo "Building document"
make pdf
mkdir public
mv build/probability_theory.pdf public
mv build/probability_theory.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 "Probability Theory" > index.html
fi