From f3fdec8a8e64a48d0ae0219ffb99e766419f7b81 Mon Sep 17 00:00:00 2001
From: Pascal Thomet <pthomet@gmail.com>
Date: Thu, 10 Oct 2024 18:27:44 +0200
Subject: [PATCH] Add justfile

---
 justfile | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 justfile

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
+
+