From: Debian Haskell Group Date: Sat, 24 Jan 2026 12:41:42 +0000 (+0200) Subject: use-unbundled-sphinx-rtd-theme X-Git-Tag: archive/raspbian/9.10.3-3+rpi1^2~16 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=658b86015bd8cfdcd59828a2d19302f56b37e37c;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 35a3231b..c6b73be7 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -66,7 +66,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