From 0d6814503ab6892c3a74117fa2eb6866ffd4c5b5 Mon Sep 17 00:00:00 2001
From: Marc Beninca <cnam@marc-beninca.fr>
Date: Sat, 29 Jul 2023 16:02:55 +0200
Subject: [PATCH] rtd

---
 build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.py b/build.py
index a0abb7d..533cf19 100755
--- a/build.py
+++ b/build.py
@@ -33,7 +33,7 @@ def main():
             '-b', 'html',
             '-D', 'project={}'.format(doc),
             '-D', 'master_doc={}'.format('index'),
-            # '-D', 'html_theme={}'.format('sphinx_rtd_theme'),
+            '-D', 'html_theme={}'.format('sphinx_rtd_theme'),
             # '-C',
             '-c', directory,
             os.path.join(directory, doc),