diff options
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index 042ff6d7e5..781b26724a 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -45,6 +45,7 @@ html_logo = None html_static_path = ['images'] # Convert quotes and dashes to typographically correct entities html_use_smartypants = True +html_use_opensearch = 'https://downloads.haskell.org/~ghc/master/users-guide' html_show_copyright = True # If true, an OpenSearch description file will be output, and all pages will |