From c27dfef05fb560c26cf2e4081e2094e4b8ea9cf3 Mon Sep 17 00:00:00 2001
From: dequis <dx@dxzone.com.ar>
Date: Thu, 15 Jun 2023 14:35:48 +0200
Subject: [PATCH] docs: add sphinx_rtd_theme to extensions (fixes js)

---
 docs/conf.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index 7551609cc7..1c11518f55 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -15,7 +15,9 @@ author = 'ccc'
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration
 
-extensions = []
+extensions = [
+    'sphinx_rtd_theme',
+]
 
 templates_path = ['_templates']
 exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store']
-- 
GitLab