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

Merge pull request #5670 from akien-mga/3.4-upgrade-sphinx-drop-readthedocs-sphinx-search

Rémi Verschelde 3 years ago
parent
5d030c0043 39c5190ed2
commit
6ee2cd6702
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