Hugo Locurcio
|
f528a844d6
|
Add a more descriptive custom 404 error page (#4624)
This helps users find their way back to the documentation.
|
2021-02-05 21:48:22 +01:00 |
|
Yuri Sizov
|
45d95db39f
|
Update instant search plugin to a packaged version (#3963)
|
2020-09-03 18:57:59 +02:00 |
|
Max Hilbrunner
|
c26d33bfb4
|
Pin ReadTheDocs sphinx search to specific commit instead of master tip
|
2020-05-20 14:06:22 +02:00 |
|
Rémi Verschelde
|
74ec5d6942
|
Document installation of requirements.txt with pip
Also pin their versions to the same ones as used on RTD.
Follow-up to #3276.
|
2020-03-17 10:58:43 +01:00 |
|
Rémi Verschelde
|
f4610cc7fc
|
Use new full-page search UI from upstream RTD
From https://readthedocs-sphinx-search.readthedocs.io,
can also be tested on https://docs.readthedocs.io.
|
2020-03-16 13:44:23 +01:00 |
|
Rémi Verschelde
|
0a633ca5a5
|
Install sphinx_tabs using pip requirements.txt
Upgrades us from 1.1.10 to latest (1.1.13).
|
2020-03-16 13:34:00 +01:00 |
|
Rémi Verschelde
|
cb18a9cf95
|
RTD: Remove restriction on Sphinx version
The referenced bug has been fixed for a while.
|
2018-04-10 14:17:22 +02:00 |
|
Rémi Verschelde
|
8f29f44436
|
Pin sphinx to 1.4 when generating docs to workaround search issues on RTD
Works around https://github.com/rtfd/readthedocs.org/issues/2708 and fixes #360.
Patch from @nicoddemus.
|
2017-04-19 16:10:47 +02:00 |
|