From 52ec4dd1ca8f8b57460c83a4583035b206af5ebe Mon Sep 17 00:00:00 2001 From: Debian Haskell Group Date: Mon, 31 Jul 2023 23:47:27 +0100 Subject: [PATCH] use-unbundled-sphinx-rtd-theme =================================================================== Gbp-Pq: Name use-unbundled-sphinx-rtd-theme --- docs/users_guide/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2