if [ -z "$GITHUB_ACTIONS" ]; then
    PREFIX="../venv/bin/"
else
    PREFIX=""
fi

cd docs
${PREFIX}mkdocs build
rm -rf ../site
mv site ..
cd ..
