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
signature.asc
Description: PGP signature
