diff --git a/docs/Makefile b/docs/Makefile index 7da33e9a3e407323071fca3678cafe6170d9cbc2..9756fab2862da4a58bbe23ae160d063023e69426 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 d3e1e8d69ea7d97f080d5eb66f399aeb6d40b4af..c594030999feb329b95b747ace106758d3adfe88 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`.