From f3f5e975e47f1e7e3d0c9a46ee17f36204f15daf Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky
Date: Wed, 27 Apr 2016 01:50:05 +0300
Subject: 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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/Makefile')

diff --git a/docs/Makefile b/docs/Makefile
index 7da33e9a3..9756fab28 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)
-- 
cgit v1.2.3