From 46e3232fc741ab377df93e8a590f4cf3236905f8 Mon Sep 17 00:00:00 2001
From: Gjermund Garaba <gjermund@garaba.net>
Date: Sun, 8 Sep 2024 16:17:15 +0200
Subject: [PATCH] add workflow dispatch to doc deployment

---
 .github/workflows/deploy-docs.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml
index 6af807f..6252da7 100644
--- a/.github/workflows/deploy-docs.yaml
+++ b/.github/workflows/deploy-docs.yaml
@@ -3,6 +3,7 @@
 name: Deploy to GitHub Pages
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main