diff --git a/docs/README.md b/docs/README.md
index faf386710a0d5d1448d45c6d121938807f37be30..d524f4b67e4c86f656a98195cb4cc06662240039 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -21,18 +21,16 @@ preferably in a virtualenv:
 
 In `micropython/docs`, build the docs:
 
-    make MICROPY_PORT=<port_name> html
+    make html
 
-Where `<port_name>` can be `unix`, `pyboard`, `wipy` or `esp8266`.
-
-You'll find the index page at `micropython/docs/build/<port_name>/html/index.html`.
+You'll find the index page at `micropython/docs/build/html/index.html`.
 
 PDF manual generation
 ---------------------
 
 This can be achieved with:
 
-    make MICROPY_PORT=<port_name> latexpdf
+    make latexpdf
 
 but require rather complete install of LaTeX with various extensions. On
 Debian/Ubuntu, try (500MB+ download):