From 020386b61cda09da001a835f2816c39306476037 Mon Sep 17 00:00:00 2001
From: danicampora <daniel@wipy.io>
Date: Sun, 18 Oct 2015 00:29:59 +0200
Subject: [PATCH] docs: In top index fix machine module link for the WiPy.

---
 docs/topindex.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/topindex.html b/docs/topindex.html
index d2cc061453..0a65f42105 100644
--- a/docs/topindex.html
+++ b/docs/topindex.html
@@ -43,7 +43,11 @@
       {% endif %}
       <p class="biglink">
         <a class="biglink" href="{{ pathto("library/index") }}">Library Reference</a><br/>
-        <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/pyb") }}">pyb module</a></span>
+        {% if port == "wipy" %}
+          <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/machine") }}">machine module</a></span>
+        {% else %}
+          <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/pyb") }}">pyb module</a></span>
+        {% endif %}
       </p>
     </td>
     <td width="40%" style="padding-left:2em;">