diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-04-27 01:50:05 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-04-27 01:50:05 +0300 |
| commit | f3f5e975e47f1e7e3d0c9a46ee17f36204f15daf (patch) | |
| tree | c496ec8174473b1fbedf314496bff2c42f597d9c /docs | |
| parent | 0df2ee01264ff09bd525e7020724459c815470f8 (diff) | |
| download | micropython-f3f5e975e47f1e7e3d0c9a46ee17f36204f15daf.tar.gz micropython-f3f5e975e47f1e7e3d0c9a46ee17f36204f15daf.zip | |
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.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 2 | ||||
| -rw-r--r-- | 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`. |