| commit | e757005190abe713daf1f2d40ed6afe8d8ee5b0c | [log] [tgz] |
|---|---|---|
| author | Georg Brandl <georg@python.org> | Sat May 03 20:52:18 2008 +0000 |
| committer | Georg Brandl <georg@python.org> | Sat May 03 20:52:18 2008 +0000 |
| tree | 0c621a55b51acaf25ad24489132666825cf95ecc | |
| parent | 40360f2a3cea79220ff6f6fa21f46e3e4835ddcd [diff] [blame] |
Merge OpenSearch-related changes.
diff --git a/Doc/conf.py b/Doc/conf.py index 27f5ed3..8b1514b 100644 --- a/Doc/conf.py +++ b/Doc/conf.py
@@ -86,6 +86,12 @@ '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('.', '')