Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

README.md

9 years ago

docs/Makefile: Default BUILDDIR based on MICROPY_PORT. · f3f5e975

Paul Sokolovsky authored 9 years ago

It doesn't make sense to duplicate both on command line, and MICROPY_PORT
is effectively mandatory to build docs.

f3f5e975

docs/Makefile: Default BUILDDIR based on MICROPY_PORT.

Paul Sokolovsky authored 9 years ago

It doesn't make sense to duplicate both on command line, and MICROPY_PORT
is effectively mandatory to build docs.

To learn more about this project, read the wiki.

README.md 876 B