On Wed, Dec 20, 2023 at 03:28:56PM +0100, Daniel Gustafsson wrote:
> + time make -s -j${BUILD_JOBS} -C doc/src/sgml all INSTALL
> unrelated pet peeve: "make -C doc/src/sgml all" doesn't build all docs targets..
That seems relevant in terms of coverage. Why not just moving the
INSTALL bit to a different line?
--
Michael