diff options
Diffstat (limited to 'common/sphinx_rtd_theme_rtems/searchbox.html')
| -rw-r--r-- | common/sphinx_rtd_theme_rtems/searchbox.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/sphinx_rtd_theme_rtems/searchbox.html b/common/sphinx_rtd_theme_rtems/searchbox.html index 35ad52c..606f5c8 100644 --- a/common/sphinx_rtd_theme_rtems/searchbox.html +++ b/common/sphinx_rtd_theme_rtems/searchbox.html @@ -1,7 +1,7 @@ {%- if builder != 'singlehtml' %} <div role="search"> <form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get"> - <input type="text" name="q" placeholder="Search docs" /> + <input type="text" name="q" placeholder="{{ _('Search docs') }}" /> <input type="hidden" name="check_keywords" value="yes" /> <input type="hidden" name="area" value="default" /> </form> |