Don't insert OpenSearch tag for HTML help.

This commit is contained in:
Georg Brandl 2008-05-03 20:34:26 +00:00
parent c1fbfea4b2
commit 47e05edd9c

View File

@ -118,7 +118,7 @@
<script type="text/javascript" src="{{ pathto('_static/interface.js', 1) }}"></script>
<script type="text/javascript" src="{{ pathto('_static/doctools.js', 1) }}"></script>
{%- endif %}
{%- if use_opensearch %}
{%- if use_opensearch and builder != 'htmlhelp' %}
<link rel="search" type="application/opensearchdescription+xml"
title="Search within {{ docstitle }}"
href="{{ pathto('_static/opensearch.xml', 1) }}"/>