docs: In top index fix machine module link for the WiPy.

danicampora · danicampora · commit 020386b61cda · 2015-10-18T00:31:12.000+02:00
diff --git a/docs/topindex.html b/docs/topindex.html
@@ -43,7 +43,11 @@ <h1>MicroPython documentation</h1>
       {% 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;">
