From ad70e9871755225a4cb666ccbdef4b5874627b95 Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Sat, 5 Feb 2022 17:11:12 +0100
Subject: [PATCH] Corrections to doc makefile

---
 docs/Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/Makefile b/docs/Makefile
index 92780c2e48..748dd61c9e 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -3,7 +3,6 @@
 SOURCEDIR     = source
 BUILDDIR      = build
 AUTODOCDIR = $(SOURCEDIR)/api
-
 # You can set these variables from the command line, and also
 # from the environment for the first two.
 SPHINXOPTS    ?=