From 4f9d76626fd64e01045883dbe1f8547e7ef3e492 Mon Sep 17 00:00:00 2001
From: Paul Meyer <49727155+katexochen@users.noreply.github.com>
Date: Wed, 13 Mar 2024 14:02:26 +0100
Subject: [PATCH] ci: add dispatch trigger to docs deployment workflow

Signed-off-by: Paul Meyer <49727155+katexochen@users.noreply.github.com>
---
 .github/workflows/docs_publish.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs_publish.yml b/.github/workflows/docs_publish.yml
index 9e43b2a84..d7799f537 100644
--- a/.github/workflows/docs_publish.yml
+++ b/.github/workflows/docs_publish.yml
@@ -1,6 +1,7 @@
 name: publish docs to GitHub Pages
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main