diff options
Diffstat (limited to 'docs/templates/versions.html')
| -rw-r--r-- | docs/templates/versions.html | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/docs/templates/versions.html b/docs/templates/versions.html index 198630dd7..80b9b0f7d 100644 --- a/docs/templates/versions.html +++ b/docs/templates/versions.html @@ -1,17 +1,11 @@ <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"> Ports and Versions</span> - {{ port }} ({{ port_version }}) + <span class="fa fa-book"> Versions and Downloads</span> + {{ cur_version }} <span class="fa fa-caret-down"></span> </span> <div class="rst-other-versions"> <dl> - <dt>Ports</dt> - {% for slug, url in all_ports %} - <dd><a href="{{ url }}">{{ slug }}</a></dd> - {% endfor %} - </dl> - <dl> <dt>Versions</dt> {% for slug, url in all_versions %} <dd><a href="{{ url }}">{{ slug }}</a></dd> @@ -27,7 +21,7 @@ <dl> <dt>External links</dt> <dd> - <a href="http://www.micropython.org">micropython.org</a> + <a href="https://www.micropython.org">micropython.org</a> </dd> <dd> <a href="https://github.com/micropython/micropython">GitHub</a> |