From ca5e5c009587c59785306cca42e2d1f2765522d8 Mon Sep 17 00:00:00 2001 From: Max Hilbrunner Date: Tue, 16 Jan 2024 22:53:08 +0100 Subject: [PATCH] Remove sphinx_search.extension --- conf.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/conf.py b/conf.py index b281b264c..6576ac1e6 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")