From abd7e3b4674015bf0aefbd11bc488cb2bb9a43ba Mon Sep 17 00:00:00 2001 From: Max Hilbrunner Date: Wed, 17 Jan 2024 01:10:24 +0100 Subject: [PATCH] Remove sphinx_search.extension --- conf.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/conf.py b/conf.py index adce5b768..2d8888fd7 100644 --- a/conf.py +++ b/conf.py @@ -61,9 +61,6 @@ ogp_site_name = "Godot Engine documentation" if not os.getenv("SPHINX_NO_GDSCRIPT"): extensions.append("gdscript") -if not os.getenv("SPHINX_NO_SEARCH"): - extensions.append("sphinx_search.extension") - if not os.getenv("SPHINX_NO_DESCRIPTIONS"): extensions.append("godot_descriptions")