From b4ee94e75833315013244cb5590da1fb5e41673b Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Fri, 3 Feb 2023 15:30:25 -0800 Subject: [PATCH] readthedocs: Add a configuration file. This overrides the settings in the web interface, and enables much more flexible configuration of the build environment (which previously defaulted to Python 3.7). https://docs.readthedocs.io/en/stable/config-file/v2.html Signed-off-by: Anders Kaseorg --- .readthedocs.yaml | 15 +++++++++++++++ docs/requirements.readthedocs.txt | 1 - 2 files changed, 15 insertions(+), 1 deletion(-) create mode 100644 .readthedocs.yaml delete mode 120000 docs/requirements.readthedocs.txt diff --git a/.readthedocs.yaml b/.readthedocs.yaml new file mode 100644 index 0000000000..dcc7f503ea --- /dev/null +++ b/.readthedocs.yaml @@ -0,0 +1,15 @@ +# https://docs.readthedocs.io/en/stable/config-file/v2.html +version: 2 + +build: + os: ubuntu-22.04 + tools: + python: "3.10" + +sphinx: + configuration: docs/conf.py + fail_on_warning: true + +python: + install: + - requirements: requirements/docs.txt diff --git a/docs/requirements.readthedocs.txt b/docs/requirements.readthedocs.txt deleted file mode 120000 index e287f2474b..0000000000 --- a/docs/requirements.readthedocs.txt +++ /dev/null @@ -1 +0,0 @@ -../requirements/docs.txt \ No newline at end of file