From e757005190abe713daf1f2d40ed6afe8d8ee5b0c Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sat, 3 May 2008 20:52:18 +0000 Subject: Merge OpenSearch-related changes. --- Doc/conf.py | 6 ++++++ Doc/tools/sphinxext/layout.html | 5 +++++ Doc/tools/sphinxext/opensearch.xml | 14 ++++++++++++++ Doc/tools/sphinxext/static/py.png | Bin 0 -> 695 bytes 4 files changed, 25 insertions(+) create mode 100644 Doc/tools/sphinxext/layout.html create mode 100644 Doc/tools/sphinxext/opensearch.xml create mode 100644 Doc/tools/sphinxext/static/py.png 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 @@ 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('.', '') diff --git a/Doc/tools/sphinxext/layout.html b/Doc/tools/sphinxext/layout.html new file mode 100644 index 0000000..689cbda --- /dev/null +++ b/Doc/tools/sphinxext/layout.html @@ -0,0 +1,5 @@ +{% extends "!layout.html" %} +{% block rootrellink %} +
  • +{{ super() }} +{% endblock %} diff --git a/Doc/tools/sphinxext/opensearch.xml b/Doc/tools/sphinxext/opensearch.xml new file mode 100644 index 0000000..d672c2e --- /dev/null +++ b/Doc/tools/sphinxext/opensearch.xml @@ -0,0 +1,14 @@ + + + Python Docs + Python Documentation + Search the Python documentation + utf-8 + + + + + + http://www.python.org/images/favicon16x16.ico + + diff --git a/Doc/tools/sphinxext/static/py.png b/Doc/tools/sphinxext/static/py.png new file mode 100644 index 0000000..93e4a02 Binary files /dev/null and b/Doc/tools/sphinxext/static/py.png differ -- cgit v0.12