From 2bf6eb9fe2e7e2acd1ce361dd8276cb8f047f8fe Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Mon, 6 Jun 2016 11:37:40 +0100
Subject: [PATCH] docs: Add link to PDF version of docs in sidebar.

Requires a link of the form: <BASEURL>/<lang>/<ver>/micropython-<port>.pdf
---
 docs/conf.py                 | 3 +++
 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>