diff options
Diffstat (limited to 'docs/conf.py')
-rwxr-xr-x | docs/conf.py | 3 |
1 files changed, 3 insertions, 0 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)), + ], } |