Determine opensearch URL from current version.

diff --git a/Doc/conf.py b/Doc/conf.py
index 6bbe4ce35c9f7222c6bac1c5106fa4d7c5274c61..6b085e04898e49eb9b6e38fe2d4b04bd73f85947 100644 (file)
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -91,7 +91,7 @@ html_additional_pages = {
 }
 
 # Output an OpenSearch description file.
-html_use_opensearch = 'http://docs.python.org/3.3'
+html_use_opensearch = 'http://docs.python.org/' + version
 
 # Additional static files.
 html_static_path = ['tools/sphinxext/static']