From f3f5e975e47f1e7e3d0c9a46ee17f36204f15daf Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Wed, 27 Apr 2016 01:50:05 +0300
Subject: [PATCH] docs/Makefile: Default BUILDDIR based on MICROPY_PORT.

It doesn't make sense to duplicate both on command line, and MICROPY_PORT
is effectively mandatory to build docs.
---
 docs/Makefile  | 2 +-
 docs/README.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 7da33e9a3e..9756fab286 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -5,7 +5,7 @@
 SPHINXOPTS    =
 SPHINXBUILD   = sphinx-build
 PAPER         =
-BUILDDIR      = build
+BUILDDIR      = build/$(MICROPY_PORT)
 
 # User-friendly check for sphinx-build
 ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1)
diff --git a/docs/README.md b/docs/README.md
index d3e1e8d69e..c594030999 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -21,7 +21,7 @@ preferably in a virtualenv:
 
 In `micropython/docs`, build the docs:
 
-    make MICROPY_PORT=<port_name> BUILDDIR=build/<port_name> html
+    make MICROPY_PORT=<port_name> html
 
 Where `<port_name>` can be `unix`, `pyboard`, `wipy` or `esp8266`.