Add justfile

pthom · Oct 10, 2024 · f3fdec8 · f3fdec8
1 parent 15cb826
commit f3fdec8
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/justfile b/justfile
@@ -0,0 +1,9 @@
+default:
+    just --list
+
+
+# Deploy the book to GitHub pages
+doc_deploy:
+    ./docs_src/deploy_book.sh
+
+