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/readthedocs/settings | |
| parent | 0df2ee01264ff09bd525e7020724459c815470f8 (diff) | |
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/readthedocs/settings')
0 files changed, 0 insertions, 0 deletions