From defd1fb1173aa9469a1ef54f0ef1317b0f9b75ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20=C5=A0pl=C3=ADchal?= Date: Tue, 8 Aug 2023 14:03:46 +0200 Subject: [PATCH] Use the latest `sphinx-rtd-theme` for docs building Currently docs building is broken because of https://github.com/readthedocs/sphinx_rtd_theme/issues/1463. Let's use the latest available to fix docs building now. --- setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.py b/setup.py index 59e76935f0..a24b3a7510 100755 --- a/setup.py +++ b/setup.py @@ -71,7 +71,7 @@ extras_require = { 'docs': [ 'sphinx>=3', - 'sphinx_rtd_theme'], + 'sphinx-rtd-theme==1.3.0rc1'], 'tests': [ 'flake8', 'pytest',