Building 28.3 with man pages via kerl

Hi all! Trying to build 28.3 with man pages via kerl.

I’ve got a working build with KERL_BUILD_DOCS=yes KERL_INSTALL_MANPAGES=yes CFLAGS="-O2 -g" kerl build 28.3 - it installs and runs fine, but it doesn’t seem to build or install man files anywhere under its installation directory, just an empty ./28.3/erts-16.2/man directory, nothing else with *man*.

I’ve also tried with KERL_BUILD_DOCS=yes KERL_DOC_TARGETS="man" (with and without KERL_INSTALL_MANPAGES) but that doesn’t do anything different. (I think that’s meant for non-git distributions with binary downloads but tried it anyway.)

What am I missing? Thanks!