Browse Source

Remove sphinx_search.extension

Max Hilbrunner 1 year ago
parent
commit
ca5e5c0095
1 changed files with 0 additions and 3 deletions
  1. 0 3
      conf.py

+ 0 - 3
conf.py

@@ -61,9 +61,6 @@ ogp_site_name = "Godot Engine documentation"
 if not os.getenv("SPHINX_NO_GDSCRIPT"):
 if not os.getenv("SPHINX_NO_GDSCRIPT"):
     extensions.append("gdscript")
     extensions.append("gdscript")
 
 
-if not os.getenv("SPHINX_NO_SEARCH"):
-    extensions.append("sphinx_search.extension")
-
 if not os.getenv("SPHINX_NO_DESCRIPTIONS"):
 if not os.getenv("SPHINX_NO_DESCRIPTIONS"):
     extensions.append("godot_descriptions")
     extensions.append("godot_descriptions")