From: Debian Haskell Group Date: Tue, 19 Sep 2023 23:00:36 +0000 (+0100) Subject: use-unbundled-sphinx-rtd-theme X-Git-Tag: archive/raspbian/9.4.7-2+rpi1~4 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=bb9b695c95ba9bd26c13e9191bf69616b433358b;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