diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-02-07 19:30:28 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-07 19:30:28 +0300 |
commit | d4aeae475943aef9b935f7487baf90ccc1c58b42 (patch) | |
tree | 285b63d7d85fc7158cbe88f798f3b816e8e88887 | |
parent | 46897c2acf1f2056dff479ec705e2899d86118c6 (diff) | |
parent | 8438c442714cddff2f6b1e3b0fc7736b76e7b352 (diff) |
Merge pull request #7105 from tk0miya/6193_remove_searchresults.html
Fix #6193: Remove searchresults.html
-rw-r--r-- | sphinx/themes/basic/searchresults.html | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/sphinx/themes/basic/searchresults.html b/sphinx/themes/basic/searchresults.html deleted file mode 100644 index 50700c158..000000000 --- a/sphinx/themes/basic/searchresults.html +++ /dev/null @@ -1,36 +0,0 @@ -{# - basic/searchresults.html - ~~~~~~~~~~~~~~~~~~~~~~~~ - - Template for the body of the search results page. - - :copyright: Copyright 2007-2020 by the Sphinx team, see AUTHORS. - :license: BSD, see LICENSE for details. -#} -<h1 id="search-documentation">{{ _('Search') }}</h1> -<p> - From here you can search these documents. Enter your search - words into the box below and click "search". -</p> -<form action="" method="get"> - <input type="text" name="q" value="" /> - <input type="submit" value="{{ _('search') }}" /> - <span id="search-progress" style="padding-left: 10px"></span> -</form> -{%- if search_performed %} - <h2>{{ _('Search Results') }}</h2> - {%- if not search_results %} - <p>{{ _('Your search did not match any documents. Please make sure that all words are spelled correctly and that you\'ve selected enough categories.') }}</p> - {%- endif %} -{%- endif %} -<div id="search-results"> - {%- if search_results %} - <ul class="search"> - {% for href, caption, context in search_results %} - <li><a href="{{ docroot }}{{ href }}/?highlight={{ q }}">{{ caption }}</a> - <div class="context">{{ context|e }}</div> - </li> - {% endfor %} - </ul> - {%- endif %} -</div> |