Dan Eble <address@hidden> writes:
On Jan 30, 2020, at 11:39, David Kastrup <address@hidden> wrote:
That's not a new development, so there is no point in me to refrain from
cherry-picking further material: the last version of the branch I
checked was from early December and it failed in the same manner.
Compilation of CPU_COUNT=9 make -j9 doc ends with
[…]
Thanks. It is sort of annoying that it occurs right at the end of the
(comparatively expensive) doc build, but at least then it is reproduced
with another "make doc" within several seconds. So there may be a way
of getting an extensive log just for that final phase of mass-linking
the offsite-root .