diff --git a/docs/conf.py b/docs/conf.py
index 6faeb60406e7d692b06c99fb951d90284d10becf..572348c141cdbd33e29f0e19749f07e60f76c726 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 6323024ecb675b8280953f7e3cbea63727b0f210..198630dd778c92d3b754fc64aea10f651e67d37b 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>