[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