godotengine/godot-docs
1
0
Fork 0
mirror of https://github.com/godotengine/godot-docs.git synced 2026-01-03 05:48:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

Pin ReadTheDocs sphinx search to specific commit instead of master tip

Browse Source
This commit is contained in:
Max Hilbrunner
2020-05-20 14:06:22 +02:00
parent cc52414fec
commit c26d33bfb4
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
requirements.txt
View File

@@ -10,4 +10,4 @@ sphinx_rtd_theme==0.4.3
sphinx-tabs==1.1.13
# Full-page search UI for RTD: https://readthedocs-sphinx-search.readthedocs.io
git+https://github.com/readthedocs/readthedocs-sphinx-search@master
git+https://github.com/readthedocs/readthedocs-sphinx-search@faa85a9dabb71e53bb01832edc9a3be07d22bd5a