diff --git a/justfile b/justfile new file mode 100644 index 00000000..428bb055 --- /dev/null +++ b/justfile @@ -0,0 +1,9 @@ +default: + just --list + + +# Deploy the book to GitHub pages +doc_deploy: + ./docs_src/deploy_book.sh + +