From 215e50fa5a85f79dfe2c08f60a95c3f06973f9fd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robert=20Kr=C3=A1tk=C3=BD?= <rkratky@gmail.com>
Date: Tue, 17 Oct 2023 15:58:32 +0200
Subject: [PATCH] Fix docs path for theme to function.

---
 doc/custom_conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/custom_conf.py b/doc/custom_conf.py
index b4b1f60fe..3793db791 100644
--- a/doc/custom_conf.py
+++ b/doc/custom_conf.py
@@ -72,7 +72,7 @@
 
     # Change to the folder that contains the documentation
     # (usually "/" or "/docs/")
-    'github_folder': '/doc',
+    'github_folder': '/doc/',
 
     # Change to an empty value if your GitHub repo doesn't have issues enabled.
     # This will disable the feedback button and the issue link in the footer.