diff --git a/.github/workflows/compile_docs.yml b/.github/workflows/compile_docs.yml
index 48d90a01fa..cf45dd2d55 100644
--- a/.github/workflows/compile_docs.yml
+++ b/.github/workflows/compile_docs.yml
@@ -1,5 +1,6 @@
 name: Build Docs
 on:
+  workflow_dispatch: # allow manual triggering
   push:
     branches:
       - master