Merge OpenSearch-related changes.

This commit is contained in:
Georg Brandl 2008-05-03 20:52:18 +00:00
parent 40360f2a3c
commit e757005190
4 changed files with 25 additions and 0 deletions

View file

@ -86,6 +86,12 @@ html_additional_pages = {
'index': 'indexcontent.html',
}
# Output an OpenSearch description file.
html_use_opensearch = 'http://docs.python.org/dev/3.0'
# Additional static files.
html_static_path = ['tools/sphinxext/static']
# Output file base name for HTML help builder.
htmlhelp_basename = 'python' + release.replace('.', '')