diff options
Diffstat (limited to '')
-rw-r--r-- | common/sphinx_rtd_theme_rtems/versions.html | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/common/sphinx_rtd_theme_rtems/versions.html b/common/sphinx_rtd_theme_rtems/versions.html deleted file mode 100644 index 7368659..0000000 --- a/common/sphinx_rtd_theme_rtems/versions.html +++ /dev/null @@ -1,34 +0,0 @@ -{% if READTHEDOCS %} -{# Add rst-badge after rst-versions for small badge style. #} - <div class="rst-versions" data-toggle="rst-versions" role="note" aria-label="versions"> - <span class="rst-current-version" data-toggle="rst-current-version"> - <span class="fa fa-book"> Read the Docs</span> - v: {{ current_version }} - <span class="fa fa-caret-down"></span> - </span> - <div class="rst-other-versions"> - <dl> - <dt>{{ _('Versions') }}</dt> - {% for slug, url in versions %} - <dd><a href="{{ url }}">{{ slug }}</a></dd> - {% endfor %} - </dl> - <dl> - <dt>{{ _('Downloads') }}</dt> - {% for type, url in downloads %} - <dd><a href="{{ url }}">{{ type }}</a></dd> - {% endfor %} - </dl> - <dl> - {# 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> - </dd> - <dd> - <a href="//{{ PRODUCTION_DOMAIN }}/builds/{{ slug }}/?fromdocs={{ slug }}">{{ _('Builds') }}</a> - </dd> - </dl> - </div> - </div> -{% endif %} |