diff --git a/esp8266/README.md b/esp8266/README.md
index 7c6dfaf8d12a109d568ab7db1ef5b9166b1b2002..b2eae65bd90c3a821c37a3fec37d09008435764f 100644
--- a/esp8266/README.md
+++ b/esp8266/README.md
@@ -41,6 +41,7 @@ dependencies.
 Then, to build MicroPython for the ESP8266, just run:
 ```bash
 $ cd esp8266
+$ make axtls
 $ make
 ```
 This will produce binary images in the `build/` subdirectory. If you install