From 09c36df0167716a41b87c2e8067c7afcac47ee59 Mon Sep 17 00:00:00 2001
From: Hugo Locurcio <hugo.locurcio@hugo.pro>
Date: Wed, 20 Oct 2021 11:11:46 +0200
Subject: [PATCH] GitHub Actions: Allow running the offline doc building
 manually

---
 .github/workflows/build_offline_docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build_offline_docs.yml b/.github/workflows/build_offline_docs.yml
index c01c30d1b..04d906802 100644
--- a/.github/workflows/build_offline_docs.yml
+++ b/.github/workflows/build_offline_docs.yml
@@ -1,5 +1,6 @@
 name: Build documentation for offline usage
 on:
+  workflow_dispatch:
   schedule:
     # Every week on Monday at midnight (UTC).
     # This keeps the generated HTML documentation fresh.