diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2017-04-17 12:49:34 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-04-17 20:34:40 -0400 |
| commit | f58176fe731e0412a04239be620443d63f067adf (patch) | |
| tree | 7ba4126e6edefe44863f7bb517f98291f9eea143 /docs/users_guide/conf.py | |
| parent | b894f02058a10b5b0a4074020feae2771e793577 (diff) | |
| download | haskell-f58176fe731e0412a04239be620443d63f067adf.tar.gz | |
Fix "Glasgow Haskell Compiler <release> Users Guide"
If you go to
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/index.html
the window title has `<release>` in it. I don't understand how it all
works, but inspired by the line below which produces a correct string in
the docs I just blindly changed it in the same way. Cabal appears to
have the same problem.
Test Plan:
it'd be nice if I could check the result
on harbormaster, can I?
Reviewers: thomie, bgamari, austin
Reviewed By: bgamari
Subscribers: rwbarton, simonmar
Differential Revision: https://phabricator.haskell.org/D3458
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index b48505c8a0..8a4c18f53e 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -37,7 +37,7 @@ exclude_patterns = ['.build', "*.gen.rst"] # The name for this set of Sphinx documents. If None, it defaults to # "<project> v<release> documentation". -html_title = "Glasgow Haskell Compiler <release> User's Guide" +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' |