From 0fba8f435eadd3b35463c343460cfa83ae0f039d Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Sun, 27 Apr 2008 18:09:49 +0000
Subject: [PATCH] Use OpenSearch for Sphinx docs.

---
 doc/conf.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/conf.py b/doc/conf.py
index 13e666716..0ea501454 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -100,6 +100,8 @@ html_additional_pages = {'index': 'index.html'}
 # If true, the reST sources are included in the HTML build as _sources/<name>.
 #html_copy_source = True
 
+html_use_opensearch = True
+
 # Output file base name for HTML help builder.
 htmlhelp_basename = 'Sphinxdoc'