From c4b7341c9cb8afd69673b3b80600523d6a8d9f74 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Sat, 29 Jul 2023 14:19:50 +0200 Subject: [PATCH] =?UTF-8?q?=E2=88=92theme?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.py b/build.py index 533cf19..a0abb7d 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),