diff --git a/docs/topindex.html b/docs/topindex.html index be13cc2a8a..75039233ee 100644 --- a/docs/topindex.html +++ b/docs/topindex.html @@ -25,7 +25,7 @@
- {% if port == "pyboard" or port == "wipy" %}
+ {% if port in ("pyboard", "wipy", "esp8266") %}
Quick reference for {{ port_name }} |