diff options
author | Sylvain Henry <sylvain@haskus.fr> | 2019-12-21 14:18:21 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-12-25 19:23:54 -0500 |
commit | aeea92ef6ffa514793b1d37b38aaed3616c5c24a (patch) | |
tree | ef6a8fa21ec1276d522b0c66de3cc11970dcb3a1 /docs/users_guide/conf.py | |
parent | 40327b037f7115f7b05cc0265acb787671bea294 (diff) | |
download | haskell-aeea92ef6ffa514793b1d37b38aaed3616c5c24a.tar.gz |
Switch to ReadTheDocs theme for the user-guide
Diffstat (limited to 'docs/users_guide/conf.py')
-rw-r--r-- | docs/users_guide/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index 802d4c7e92..5866ef4a7a 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -53,7 +53,7 @@ rst_prolog = """ # General information about the project. project = u'Glasgow Haskell Compiler' -copyright = u'2015, GHC Team' +copyright = u'2020, GHC Team' # N.B. version comes from ghc_config release = version # The full version, including alpha/beta/rc tags. @@ -72,7 +72,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 = 'ghc-theme' +html_theme = 'rtd-theme' html_logo = None html_static_path = ['images'] # Convert quotes and dashes to typographically correct entities |