diff --git a/.github/workflows/docs_publish.yml b/.github/workflows/docs_publish.yml
index 9e43b2a841..d7799f537d 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