diff options
| -rwxr-xr-x | docs/conf.py | 3 | ||||
| -rw-r--r-- | docs/templates/versions.html | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/docs/conf.py b/docs/conf.py index 6faeb60406..572348c141 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -48,6 +48,9 @@ html_context = { (ver, url_pattern % (ver, micropy_port)) for ver in micropy_all_versions ], + 'downloads':[ + ('PDF', url_pattern % (micropy_version, 'micropython-%s.pdf' % micropy_port)), + ], } diff --git a/docs/templates/versions.html b/docs/templates/versions.html index 6323024ecb..198630dd77 100644 --- a/docs/templates/versions.html +++ b/docs/templates/versions.html @@ -17,14 +17,12 @@ <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> |