diff options
| author | Damien George | 2018-09-27 17:27:57 +1000 |
|---|---|---|
| committer | Damien George | 2018-10-01 13:53:53 +1000 |
| commit | b3e013f60ec0feb5b64bcadb45b154d093731c97 (patch) | |
| tree | cb0f4b4368d024b2cfa6044027e871304d3bdd82 /docs/templates/versions.html | |
| parent | 5cc9517fc5d2524aa53dbf40854ac33d27f238ca (diff) | |
docs: Unify all the ports into one set of documentation.
With this commit there is now only one entry point into the whole
documentation, which describes the general MicroPython language, and then
from there there are links to information about specific platforms/ports.
This commit doesn't change content (almost, it does fix a few internal
links), it just reorganises things.
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> |