From 0a903be7d0f2ccb5f9eccce0b7e8cf078dde3832 Mon Sep 17 00:00:00 2001
From: Daniel Campora <daniel@wipy.io>
Date: Thu, 11 Jun 2015 09:15:07 +0200
Subject: [PATCH] README.md: Correct port names in the documentation build
 command.

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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`.