From 62df70f3490b8560c389f951695f15480dc6f732 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ezequiel=20P=C3=A1ssaro?= <epassaro15@gmail.com>
Date: Wed, 7 Apr 2021 14:20:47 -0300
Subject: [PATCH] enable manual trigger for docs

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

diff --git a/.github/workflows/documentation-build.yml b/.github/workflows/documentation-build.yml
index 97170b43e50..0e6e4c4a136 100644
--- a/.github/workflows/documentation-build.yml
+++ b/.github/workflows/documentation-build.yml
@@ -11,6 +11,8 @@ on:
   schedule:
     - cron: '10 0 * * 0'
 
+  workflow_dispatch:  # Manual trigger
+
 jobs:
   documentation_build:
     runs-on: ubuntu-latest