diff options
Diffstat (limited to 'docs/topindex.html')
| -rw-r--r-- | docs/topindex.html | 6 |
1 files changed, 5 insertions, 1 deletions
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;"> |