[commit: ghc] master: users-guide: Produce OpenSearch description (89d4d26)
git at git.haskell.org
git at git.haskell.org
Tue Jan 10 19:22:14 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/89d4d2618861b7d37d9e2bd696eda88a37bc4455/ghc
>---------------------------------------------------------------
commit 89d4d2618861b7d37d9e2bd696eda88a37bc4455
Author: Ben Gamari <bgamari.foss at gmail.com>
Date: Tue Jan 10 13:38:15 2017 -0500
users-guide: Produce OpenSearch description
Reviewers: austin, hsyl20
Reviewed By: hsyl20
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2921
>---------------------------------------------------------------
89d4d2618861b7d37d9e2bd696eda88a37bc4455
docs/users_guide/conf.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py
index 042ff6d..781b267 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
More information about the ghc-commits
mailing list