From eef4df9063bf4412b7339b9fca810d0a394493be Mon Sep 17 00:00:00 2001
From: Felix Fontein <felix@fontein.de>
Date: Wed, 7 Dec 2022 19:54:22 +0100
Subject: [PATCH] Allow triggering docs workflow manually.

---
 .github/workflows/docs-push.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/docs-push.yml b/.github/workflows/docs-push.yml
index b437de16..012d841d 100644
--- a/.github/workflows/docs-push.yml
+++ b/.github/workflows/docs-push.yml
@@ -17,6 +17,8 @@ on:
   # Run CI once per day (at 09:00 UTC)
   schedule:
     - cron: '0 9 * * *'
+  # Allow manual trigger (for newer antsibull-docs, sphinx-ansible-theme, ... versions)
+  workflow_dispatch:
 
 jobs:
   build-docs: