diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2017-01-10 13:38:15 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-01-10 13:38:20 -0500 |
| commit | 89d4d2618861b7d37d9e2bd696eda88a37bc4455 (patch) | |
| tree | 45b6e69b54cc7476146266e762e8a3a07ca406e4 /docs/users_guide/conf.py | |
| parent | 58e68b37e74fd226ef6be1d59785cb899e01dbd5 (diff) | |
| download | haskell-89d4d2618861b7d37d9e2bd696eda88a37bc4455.tar.gz | |
users-guide: Produce OpenSearch description
Reviewers: austin, hsyl20
Reviewed By: hsyl20
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2921
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 |