From 7444f4a8b3ab49d67d23ab4d02a912672b21fd2c Mon Sep 17 00:00:00 2001
From: Hugo Locurcio <hugo.locurcio@hugo.pro>
Date: Thu, 20 May 2021 01:30:52 +0200
Subject: [PATCH] GitHub Actions: Don't build offline docs on pushes and pull
 requests

This was a leftover from the pull request.
---
 .github/workflows/build_offline_docs.yml | 2 --
 1 file changed, 2 deletions(-)

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