diff options
| -rw-r--r-- | docs/topindex.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/topindex.html b/docs/topindex.html index fe61b5b927..be13cc2a8a 100644 --- a/docs/topindex.html +++ b/docs/topindex.html @@ -41,10 +41,10 @@ {% endif %} <p class="biglink"> <a class="biglink" href="{{ pathto("library/index") }}">Library Reference</a><br/> - {% if port == "wipy" %} - <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/machine") }}">machine module</a></span> - {% else %} + {% if port == "pyboard" %} <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/pyb") }}">pyb module</a></span> + {% else %} + <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/machine") }}">machine module</a></span> {% endif %} </p> </td> |