From f3298ecffb03d671da0825eeddc4541a9c3de09a Mon Sep 17 00:00:00 2001
From: Samuel Sadok <samuel.sadok@bluewin.ch>
Date: Thu, 11 Aug 2022 16:24:43 +0200
Subject: [PATCH] trigger docs build

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

diff --git a/docs/Makefile b/docs/Makefile
index d4bb2cbb..2e7f1c67 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -18,3 +18,4 @@ help:
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+ 
\ No newline at end of file