Home Explore Help
Sign In
Godot
/
godot-docs
mirror of https://github.com/godotengine/godot-docs.git
2
0
Fork 0
Files Issues 0 Wiki
Browse Source

Sphinx: Update to 4.4.0, drop incompatible readthedocs-sphinx-search

The readthedocs-sphinx-search extension is not actively maintained upstream,
and they pin some extremely old versions of Sphinx components which are not
compatible with what we need to use.

It was already dropped in the master branch, this syncs the requirements.txt
from master with 3.4.
Rémi Verschelde 3 years ago
parent
5d030c0043
commit
39c5190ed2
2 changed files with 4 additions and 11 deletions
Split View Show Diff Stats
  1. 0 3
      conf.py
  2. 4 8
      requirements.txt

+ 0 - 3
conf.py
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")

+ 4 - 8
requirements.txt
View File 

@@ -2,19 +2,15 @@
 
 
 # Sync with readthedocs:
 
 # https://github.com/readthedocs/readthedocs.org/blob/master/requirements/pip.txt
 
-# Stuck on <4 until we can update sphinx-tabs (see below).
 
-sphinx==3.5.4  # pyup: <4
 
+# https://github.com/readthedocs/readthedocs.org/blob/master/requirements/docs.txt
 
+sphinx==4.4.0
 
 sphinx_rtd_theme==1.0.0
 
 
 # Code tabs extension for GDScript/C#
 
-# Stay on 1.3.0 until https://github.com/readthedocs/readthedocs-sphinx-search/issues/82 is fixed.
 
-sphinx-tabs==1.3.0  # pyup: ignore
 
+sphinx-tabs==3.2.0
 
 
 # Custom 404 error page (more useful than the default)
 
 sphinx-notfound-page==0.8
 
 
 # Adds Open Graph tags in the HTML `<head>` tag
 
-sphinxext-opengraph==0.6.1
 
-
 
-# Full-page search UI for RTD: https://readthedocs-sphinx-search.readthedocs.io
 
-readthedocs-sphinx-search==0.1.1
 
+sphinxext-opengraph==0.6.2