From f093003276fb9ddd074a827324a132972e874362 Mon Sep 17 00:00:00 2001
From: s godin <pub.sg@free.fr>
Date: Thu, 4 May 2023 15:44:53 +0000
Subject: [PATCH] delete old sphynx theme

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

diff --git a/docs/conf.py b/docs/conf.py
index 224e3a8..02d9044 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -19,6 +19,7 @@ extensions = [
     'sphinx.ext.autodoc',
     'sphinx.ext.intersphinx',
 	'sphinx.ext.autosectionlabel',
+    'sphinx_rtd_theme',
     
 ]
 templates_path = ['_templates']
@@ -66,10 +67,10 @@ locale_dirs = [
 gettext_compact = False
 gettext_uuid = True
 
-#html_theme = 'sphinx_rtd_theme'
-html_static_path = ['_static']
+html_theme = 'sphinx_rtd_theme'
+#html_static_path = ['_static']
 #html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
-html_theme_path = ["_themes"]
+#html_theme_path = ["_themes"]
 #html_logo = 'img/logo.svg'
 
 html_theme_options = {