From 98451835274168ccfeb04b82d6e65dfebcec8fb6 Mon Sep 17 00:00:00 2001 From: Amar Takhar Date: Sat, 22 Feb 2020 19:32:07 -0500 Subject: Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/ 68a19ca / 0.4.3.dev0. I have been using this one for a while without issues. This should fix the search issues. closes #3880 --- common/sphinx_rtd_theme_rtems/versions.html | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) (limited to 'common/sphinx_rtd_theme_rtems/versions.html') diff --git a/common/sphinx_rtd_theme_rtems/versions.html b/common/sphinx_rtd_theme_rtems/versions.html index 8b3eb79..7368659 100644 --- a/common/sphinx_rtd_theme_rtems/versions.html +++ b/common/sphinx_rtd_theme_rtems/versions.html @@ -8,30 +8,27 @@
-
Versions
+
{{ _('Versions') }}
{% for slug, url in versions %}
{{ slug }}
{% endfor %}
-
Downloads
+
{{ _('Downloads') }}
{% for type, url in downloads %}
{{ type }}
{% endfor %}
-
On Read the Docs
+ {# Translators: The phrase "Read the Docs" is not translated #} +
{{ _('On Read the Docs') }}
- Project Home + {{ _('Project Home') }}
- Builds + {{ _('Builds') }}
-
- Free document hosting provided by Read the Docs. -
{% endif %} - -- cgit v1.2.3