From: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Date: Mon, 31 Jul 2023 22:47:27 +0000 (+0100)
Subject: use-unbundled-sphinx-rtd-theme
X-Git-Tag: archive/raspbian/9.4.7-2+rpi1~3^2~1
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=52ec4dd1ca8f8b57460c83a4583035b206af5ebe;p=ghc.git

use-unbundled-sphinx-rtd-theme

===================================================================

Gbp-Pq: Name use-unbundled-sphinx-rtd-theme
---

diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py
index 4a12d0ad..a3f37f45 100644
--- a/docs/users_guide/conf.py
+++ b/docs/users_guide/conf.py
@@ -65,7 +65,7 @@ exclude_patterns = ['.build']
 html_title = "Glasgow Haskell Compiler %s User's Guide" % release
 html_short_title = "GHC %s User's Guide" % release
 html_theme_path = ['.']
-html_theme = 'rtd-theme'
+html_theme = 'sphinx_rtd_theme'
 html_logo = None
 html_static_path = ['images']
 # Convert quotes and dashes to typographically correct entities