From 442f97bcdcb8150bf70d18c15bca5c52ce988c1c Mon Sep 17 00:00:00 2001 From: Quentin Pradet Date: Wed, 27 Sep 2023 10:40:56 +0400 Subject: [PATCH 1/2] Switch Read the Docs configuration to build.os https://blog.readthedocs.com/use-build-os-config/ --- .readthedocs.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.readthedocs.yml b/.readthedocs.yml index 7ad00c29f..1041df2a4 100644 --- a/.readthedocs.yml +++ b/.readthedocs.yml @@ -1,9 +1,11 @@ version: 2 -sphinx: - configuration: docs/sphinx/conf.py + +build: + os: ubuntu-22.04 + tools: + python: "3" python: - version: 3.7 install: - requirements: dev-requirements.txt - path: . From 5d95a5cf6ff34b4b630541997a15c6e773d2a5bf Mon Sep 17 00:00:00 2001 From: Quentin Pradet Date: Wed, 27 Sep 2023 10:46:34 +0400 Subject: [PATCH 2/2] Fix conf.py to use Read the Docs theme --- docs/sphinx/conf.py | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/docs/sphinx/conf.py b/docs/sphinx/conf.py index 94c3b6da3..e6fe394ec 100644 --- a/docs/sphinx/conf.py +++ b/docs/sphinx/conf.py @@ -17,7 +17,6 @@ # under the License. import datetime -import os import elasticsearch @@ -45,13 +44,7 @@ pygments_style = "sphinx" -on_rtd = os.environ.get("READTHEDOCS", None) == "True" - -if not on_rtd: # only import and set the theme if we're building docs locally - import sphinx_rtd_theme - - html_theme = "sphinx_rtd_theme" - html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +html_theme = "sphinx_rtd_theme" intersphinx_mapping = { "python": ("https://docs.python.org/3", None),