From a25c060b64b109a9b8a9388b6f5a142efa7b3456 Mon Sep 17 00:00:00 2001 From: "Henry H. Andrews" Date: Wed, 19 Jul 2023 14:43:36 -0700 Subject: [PATCH] Update sphinx version and config intersphinx-mapping needed adjustment, plus there is some sort of incompatibility between sphinx 7.0.0 and sphinx-rtd-theme, so pin sphinx below that point. Allegedly it is fixed in more recent sphinx-rtd-theme installations, but we do not pin that package and it still breaks, so punting that to be solved some other time. --- docs/source/conf.py | 4 ++-- docs/source/requirements.txt | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index f112f59..5ee2603 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -166,5 +166,5 @@ ] -# Example configuration for intersphinx: refer to the Python standard library. -intersphinx_mapping = {"https://docs.python.org/": None} +# Configuration for intersphinx: refer to the Python standard library. +intersphinx_mapping = {"python": ("https://docs.python.org/3", None)} diff --git a/docs/source/requirements.txt b/docs/source/requirements.txt index 89c732e..e69f482 100644 --- a/docs/source/requirements.txt +++ b/docs/source/requirements.txt @@ -1,3 +1,3 @@ -Sphinx>=1.5.3 +Sphinx<7.0.0 sphinx-prompt>=1.0.0 sphinx_rtd_theme