Lerking/micropython
1
0
Fork 0
mirror of https://github.com/micropython/micropython.git synced 2026-01-10 22:17:18 +01:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
Files
5ec11f565b1999d0017fedd8efb61bbb5e5f59cd
micropython/docs/Makefile
Paul Sokolovsky f3f5e975e4 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.
2016-04-27 01:50:05 +03:00

6.6 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink