summaryrefslogtreecommitdiff
path: root/docs/users_guide/conf.py
diff options
context:
space:
mode:
authorSylvain Henry <sylvain@haskus.fr>2019-12-21 14:18:21 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-12-25 19:23:54 -0500
commitaeea92ef6ffa514793b1d37b38aaed3616c5c24a (patch)
treeef6a8fa21ec1276d522b0c66de3cc11970dcb3a1 /docs/users_guide/conf.py
parent40327b037f7115f7b05cc0265acb787671bea294 (diff)
downloadhaskell-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.py4
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