diff options
| -rw-r--r-- | .readthedocs.yml | 4 | ||||
| -rw-r--r-- | doc/usage/restructuredtext/domains.rst | 2 | ||||
| -rw-r--r-- | sphinx/themes/basic/search.html | 8 |
3 files changed, 13 insertions, 1 deletions
diff --git a/.readthedocs.yml b/.readthedocs.yml index 680a0e3b5..711298232 100644 --- a/.readthedocs.yml +++ b/.readthedocs.yml @@ -1,4 +1,8 @@ version: 2 + +formats: + - pdf + python: version: 3 install: diff --git a/doc/usage/restructuredtext/domains.rst b/doc/usage/restructuredtext/domains.rst index e4909f793..53e1fc5d3 100644 --- a/doc/usage/restructuredtext/domains.rst +++ b/doc/usage/restructuredtext/domains.rst @@ -50,7 +50,7 @@ give the directive option flag ``:noindexentry:``. If you want to typeset an object description, without even making it available for cross-referencing, you can give the directive option flag ``:noindex:`` (which implies ``:noindexentry:``). -Though, note that not every directive en every domain may support these +Though, note that not every directive in every domain may support these options. .. versionadded:: 3.2 diff --git a/sphinx/themes/basic/search.html b/sphinx/themes/basic/search.html index 453a35fb9..5ba3c017e 100644 --- a/sphinx/themes/basic/search.html +++ b/sphinx/themes/basic/search.html @@ -20,6 +20,7 @@ {% endblock %} {% block body %} <h1 id="search-documentation">{{ _('Search') }}</h1> + {% block scriptwarning %} <div id="fallback" class="admonition warning"> <script>$('#fallback').hide();</script> <p> @@ -27,15 +28,21 @@ functionality.{% endtrans %} </p> </div> + {% endblock %} + {% block searchtext %} <p> {% trans %}Searching for multiple words only shows matches that contain all words.{% endtrans %} </p> + {% endblock %} + {% block searchbox %} <form action="" method="get"> <input type="text" name="q" aria-labelledby="search-documentation" value="" /> <input type="submit" value="{{ _('search') }}" /> <span id="search-progress" style="padding-left: 10px"></span> </form> + {% endblock %} + {% block searchresults %} {% if search_performed %} <h2>{{ _('Search Results') }}</h2> {% if not search_results %} @@ -53,4 +60,5 @@ </ul> {% endif %} </div> + {% endblock %} {% endblock %} |