From: Debian Haskell Group Date: Mon, 17 Feb 2025 08:44:23 +0000 (+0100) Subject: use-unbundled-sphinx-rtd-theme X-Git-Tag: archive/raspbian/9.6.6-4+rpi1^2~26 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=e2e710ee5dc03cb02c33e789642db2d1abc3646f;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 2d90f725..9a41a2d4 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