diff options
Diffstat (limited to 'docs/templates')
| -rw-r--r-- | docs/templates/versions.html | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/docs/templates/versions.html b/docs/templates/versions.html new file mode 100644 index 0000000000..977aefab11 --- /dev/null +++ b/docs/templates/versions.html @@ -0,0 +1,39 @@ +<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_short_name }} ({{ port_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> + {% endfor %} + </dl> + <!-- + <dl> + <dt>Downloads</dt> + {% for type, url in downloads %} + <dd><a href="{{ url }}">{{ type }}</a></dd> + {% endfor %} + </dl> + --> + <hr/> + <dl> + <dt>External links</dt> + <dd> + <a href="http://www.micropython.org">micropython.org</a> + </dd> + <dd> + <a href="https://github.com/micropython/micropython">GitHub</a> + </dd> + </dl> + </div> +</div> |