b1b657e6b5
RELEASE_CRUNCH builds use NO_MAN anyway, so this change is primarily to avoid that developers have to set NO_MAN manually when they build the static variant. |
||
---|---|---|
.. | ||
class | ||
core | ||
misc | ||
Makefile | ||
Makefile.inc |
b1b657e6b5
RELEASE_CRUNCH builds use NO_MAN anyway, so this change is primarily to avoid that developers have to set NO_MAN manually when they build the static variant. |
||
---|---|---|
.. | ||
class | ||
core | ||
misc | ||
Makefile | ||
Makefile.inc |