 Johannes Witt
|
6de6863a4c
Update Sphinx to 3.5.2, sphinx_rtd_theme to 0.5.1 and sphinx-tabs to 2.1.0 (#4572)
|
4 anni fa |
 dependabot[bot]
|
c329e2eb90
Bump readthedocs-sphinx-search from 0.1.0rc3 to 0.1.0
|
4 anni fa |
 Hugo Locurcio
|
f528a844d6
Add a more descriptive custom 404 error page (#4624)
|
4 anni fa |
 Yuri Sizov
|
45d95db39f
Update instant search plugin to a packaged version (#3963)
|
4 anni fa |
 Max Hilbrunner
|
c26d33bfb4
Pin ReadTheDocs sphinx search to specific commit instead of master tip
|
4 anni fa |
 Rémi Verschelde
|
74ec5d6942
Document installation of requirements.txt with pip
|
5 anni fa |
|
Rémi Verschelde
|
f4610cc7fc
Use new full-page search UI from upstream RTD
|
5 anni fa |
|
Rémi Verschelde
|
0a633ca5a5
Install sphinx_tabs using pip requirements.txt
|
5 anni fa |
|
Rémi Verschelde
|
cb18a9cf95
RTD: Remove restriction on Sphinx version
|
6 anni fa |
|
Rémi Verschelde
|
8f29f44436
Pin sphinx to 1.4 when generating docs to workaround search issues on RTD
|
7 anni fa |
