From c0ef2b8812906f11a4341a51b865a81822da2714 Mon Sep 17 00:00:00 2001
From: AlexVCaron <alex.valcourt.caron@usherbrooke.ca>
Date: Sun, 30 Nov 2025 20:36:10 -0500
Subject: [PATCH] add manual trigger

---
 .github/workflows/deploy.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 32cb7053..197aa73b 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -1,6 +1,13 @@
 name: Deploy Documentation
 
 on:
+  workflow_dispatch:
+    inputs:
+      deploy:
+        description: "Whether to deploy the website to GitHub Pages"
+        type: boolean
+        required: false
+        default: false
   workflow_call:
     inputs:
       deploy: