diff options
| author | Damien George <damien.p.george@gmail.com> | 2016-06-06 11:37:40 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2016-06-06 11:37:40 +0100 |
| commit | 2bf6eb9fe2e7e2acd1ce361dd8276cb8f047f8fe (patch) | |
| tree | 40ae436f08772759dff6fbaa31be482c9b34d5fc /docs | |
| parent | ee12581a3545c6e950b4a2b5322167eb73326928 (diff) | |
| download | micropython-2bf6eb9fe2e7e2acd1ce361dd8276cb8f047f8fe.tar.gz micropython-2bf6eb9fe2e7e2acd1ce361dd8276cb8f047f8fe.zip | |
docs: Add link to PDF version of docs in sidebar.
Requires a link of the form: <BASEURL>/<lang>/<ver>/micropython-<port>.pdf
Diffstat (limited to 'docs')
| -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> |