From 30cfdeeb53e3daab3591eee9138e945b3dddc927 Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Tue, 25 Jan 2022 23:49:19 +0100
Subject: [PATCH] Triggering a docs build too

---
 docs/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/Makefile b/docs/Makefile
index bd5d330ddb..92780c2e48 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -157,6 +157,7 @@ deploy:
 	@echo "Documentation deployed."
 
 # build and prepare the docs for release
+#
 release:
 	make mv-local
 	make deploy