Max Hilbrunner
187f152131
Fix RTD build
2024-01-17 01:09:50 +01:00
Max Hilbrunner
fe90ee5244
Pin docutils to <0.18 to fix CI due to new warning
2021-11-02 01:49:50 +01:00
dependabot[bot]
5ab4ff1e71
Bump sphinx-notfound-page from 0.6 to 0.7.1
...
Bumps [sphinx-notfound-page](https://github.com/readthedocs/sphinx-notfound-page ) from 0.6 to 0.7.1.
- [Release notes](https://github.com/readthedocs/sphinx-notfound-page/releases )
- [Changelog](https://github.com/readthedocs/sphinx-notfound-page/blob/0.7.1/CHANGELOG.rst )
- [Commits](https://github.com/readthedocs/sphinx-notfound-page/compare/0.6...0.7.1 )
Signed-off-by: dependabot[bot] <support@github.com >
(cherry picked from commit 7f2a3e8b55
2021-06-02 13:16:10 +02:00
dependabot[bot]
e8d707bcd0
Bump sphinxext-opengraph from 0.4.1 to 0.4.2 ( #4938 )
...
Bumps [sphinxext-opengraph](https://github.com/wpilibsuite/sphinxext-opengraph ) from 0.4.1 to 0.4.2.
- [Release notes](https://github.com/wpilibsuite/sphinxext-opengraph/releases )
- [Commits](https://github.com/wpilibsuite/sphinxext-opengraph/compare/v0.4.1...v0.4.2 )
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-05-27 08:14:25 +02:00
dependabot[bot]
eff734449a
Bump sphinx-rtd-theme from 0.5.1 to 0.5.2
...
Bumps [sphinx-rtd-theme](https://github.com/readthedocs/sphinx_rtd_theme ) from 0.5.1 to 0.5.2.
- [Release notes](https://github.com/readthedocs/sphinx_rtd_theme/releases )
- [Changelog](https://github.com/readthedocs/sphinx_rtd_theme/blob/master/docs/changelog.rst )
- [Commits](https://github.com/readthedocs/sphinx_rtd_theme/compare/0.5.1...0.5.2 )
Signed-off-by: dependabot[bot] <support@github.com >
(cherry picked from commit 9940fc39b3
2021-04-06 09:53:27 +02:00
Hugo Locurcio
af70bff503
Pin sphinx-tabs to 1.3.0 to workaround instant search regression
...
See https://github.com/godotengine/godot-docs/issues/4787 .
2021-03-28 19:13:42 +02:00
Hugo Locurcio
986260b38f
Update readthedocs-sphinx-search to 0.1.0
2021-03-28 15:46:09 +02:00
Johannes Witt
00710cd7e5
Update Sphinx to 3.5.2, sphinx_rtd_theme to 0.5.1 and sphinx-tabs to 2.1.0 ( #4572 )
...
Co-authored-by: Hugo Locurcio <hugo.locurcio@hugo.pro >
(cherry picked from commit 6de6863a4c
2021-03-19 12:52:51 +01:00
Hugo Locurcio
6c87f04926
Add Open Graph tags for better link preview on social media
...
This is provided by the sphinxext-opengraph extension.
This also adds a theme color property in the HTML layout file.
(cherry picked from commit 9becaa5480
2021-03-18 20:44:22 +01:00
Hugo Locurcio
20a9683a07
Add a more descriptive custom 404 error page ( #4624 )
...
This helps users find their way back to the documentation.
2021-02-06 16:18:35 +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
