aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorDaniel Campora2015-06-11 09:15:07 +0200
committerDaniel Campora2015-06-11 09:15:07 +0200
commit0a903be7d0f2ccb5f9eccce0b7e8cf078dde3832 (patch)
tree5c014793e2a74c1c5e06b7d3ae5c512d328fd652 /README.md
parentcfcf47c0644952358e1a260db159e807872a37e6 (diff)
README.md: Correct port names in the documentation build command.
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 2c9396b04..2f94c5c37 100644
--- a/README.md
+++ b/README.md
@@ -123,6 +123,6 @@ In `micropython/docs`, build the docs:
make MICROPY_PORT=<port_name> BUILDDIR=<port_name>/build html
-Where ``<port_name>`` can be ``port_unix``, ``port_pyboard``, ``port_wipy`` or ``port_esp8266``.
+Where `<port_name>` can be `unix`, `pyboard`, `wipy` or `esp8266`.
You'll find the index page at `micropython/docs/<port_name>/build/html/index.html`.