default:
    just --list


# Deploy the book to GitHub pages
doc_deploy:
    ./docs_src/deploy_book.sh


