stan220/godot-docs
1
0
Fork 0
mirror of https://github.com/stan220/godot-docs.git synced 2026-09-08 18:29:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #8784 from mhilbrunner/remove-search-extension

Browse Source 
Remove sphinx_search.extension
This commit is contained in:
Max Hilbrunner
2024-01-16 23:23:16 +01:00
committed by GitHub
parent ff0fffedfd ca5e5c0095
commit 671921f5ac
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
conf.py
-3
View File
@@ -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")