Quellcode durchsuchen

Remove sphinx_search.extension

Max Hilbrunner vor 1 Jahr
Ursprung
Commit
abd7e3b467
1 geänderte Dateien mit 0 neuen und 3 gelöschten Zeilen
  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"):
     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")