summaryrefslogtreecommitdiffstats
path: root/common/sphinx_rtd_theme_rtems/versions.html
diff options
context:
space:
mode:
Diffstat (limited to 'common/sphinx_rtd_theme_rtems/versions.html')
-rw-r--r--common/sphinx_rtd_theme_rtems/versions.html15
1 files changed, 6 insertions, 9 deletions
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 @@
</span>
<div class="rst-other-versions">
<dl>
- <dt>Versions</dt>
+ <dt>{{ _('Versions') }}</dt>
{% for slug, url in versions %}
<dd><a href="{{ url }}">{{ slug }}</a></dd>
{% endfor %}
</dl>
<dl>
- <dt>Downloads</dt>
+ <dt>{{ _('Downloads') }}</dt>
{% for type, url in downloads %}
<dd><a href="{{ url }}">{{ type }}</a></dd>
{% endfor %}
</dl>
<dl>
- <dt>On Read the Docs</dt>
+ {# Translators: The phrase "Read the Docs" is not translated #}
+ <dt>{{ _('On Read the Docs') }}</dt>
<dd>
- <a href="//{{ PRODUCTION_DOMAIN }}/projects/{{ slug }}/?fromdocs={{ slug }}">Project Home</a>
+ <a href="//{{ PRODUCTION_DOMAIN }}/projects/{{ slug }}/?fromdocs={{ slug }}">{{ _('Project Home') }}</a>
</dd>
<dd>
- <a href="//{{ PRODUCTION_DOMAIN }}/builds/{{ slug }}/?fromdocs={{ slug }}">Builds</a>
+ <a href="//{{ PRODUCTION_DOMAIN }}/builds/{{ slug }}/?fromdocs={{ slug }}">{{ _('Builds') }}</a>
</dd>
</dl>
- <hr/>
- Free document hosting provided by <a href="http://www.readthedocs.org">Read the Docs</a>.
-
</div>
</div>
{% endif %}
-