Also publish on releases

SquidDev · SquidDev · commit 48cb032ddf44 · 2020-04-23T10:54:12.000+01:00
This'll probably break. Let's see :)
diff --git 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:
