summaryrefslogtreecommitdiffstatshomepage
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/Makefile2
-rw-r--r--docs/README.md2
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`.