From 48cb032ddf444c04c86e6137b056fba7872826d9 Mon Sep 17 00:00:00 2001
From: SquidDev <git@squiddev.cc>
Date: Thu, 23 Apr 2020 10:54:12 +0100
Subject: [PATCH] Also publish on releases

This'll probably break. Let's see :)
---
 .github/workflows/make-doc.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/make-doc.yml b/.github/workflows/make-doc.yml
index 1d5e4605d..f1b728ad6 100644
--- a/.github/workflows/make-doc.yml
+++ b/.github/workflows/make-doc.yml
@@ -4,6 +4,8 @@ on:
   push:
     branches: [ master ]
     tags:
+  release:
+    types: [ published ]
 
 jobs:
   make_doc: