diff --git a/README.md b/README.md
index ac85549faa..f1be54de79 100644
--- a/README.md
+++ b/README.md
@@ -76,7 +76,6 @@ To build (see section below for required dependencies):
 
     $ git submodule update --init
     $ cd ports/unix
-    $ make axtls
     $ make
 
 Then to give it a try:
diff --git a/ports/esp8266/README.md b/ports/esp8266/README.md
index f4dddd1ca1..402798928c 100644
--- a/ports/esp8266/README.md
+++ b/ports/esp8266/README.md
@@ -50,7 +50,6 @@ $ make -C mpy-cross
 Then, to build MicroPython for the ESP8266, just run:
 ```bash
 $ cd ports/esp8266
-$ make axtls
 $ make
 ```
 This will produce binary images in the `build/` subdirectory. If you install