Lerking/micropython
1
0
Fork 0
mirror of https://github.com/micropython/micropython.git synced 2026-01-07 12:40:15 +01:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity
Files
9b39263b118a4be65c58bf9c396203fa535bebe1
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