From 6a24eaa65c874514a2ecd66f9f2188f83e07c105 Mon Sep 17 00:00:00 2001
From: Nicola Soranzo <nicola.soranzo@earlham.ac.uk>
Date: Sun, 13 Oct 2024 21:21:27 +0100
Subject: [PATCH] Drop ``html_theme_path`` option deprecated in
 sphinx-rtd-theme 3.0.0rc1

See https://sphinx-rtd-theme.readthedocs.io/en/stable/changelog.html
---
 doc/source/conf.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/doc/source/conf.py b/doc/source/conf.py
index 05b2c75f2e1b..57f71026b150 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -162,9 +162,6 @@ def setup(app):
     "navigation_depth": 2,
 }
 
-# Add any paths that contain custom themes here, relative to this directory.
-# html_theme_path = []
-
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".
 # html_title = None