docs: Add link to PDF version of docs in sidebar.

Requires a link of the form: <BASEURL>/<lang>/<ver>/micropython-<port>.pdf

1 files changed, 3 insertions, 0 deletions

diff --git a/docs/conf.py b/docs/conf.py
index 6faeb6040..572348c14 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)),
+    ],
 }