| Age | Commit message (Collapse) | Author |
|
This is required to properly pass on the jobserver fds.
Signed-off-by: Sven Wegener <sven.wegener@stealer.net>
|
|
User can override PYTHON executable before running script,
gen-cpydiff.py works only with Python3 and most systems register
its executable as 'python3'.
|
|
|
|
Docs are now by default rebuilt from scratch, as required to build
conditionalized (i.e. using only:: directive) docs across different
output types. We have pretty small docset, so that's still rather fast.
However, if that's a concern, incremental rebuilds can be used by
passing "FORCE=" (nothing after =) as a make parameter. This will work
when using the same output type (e.g. only "html").
|
|
It doesn't make sense to duplicate both on command line, and MICROPY_PORT
is effectively mandatory to build docs.
|
|
|