Re: stable/2.20 branch does not complete "make doc"

[Dan Eble]

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

I did a bunch of build-related stuff in Oct-Nov, but this doesn't trigger any 
specific memories.  After I eat lunch, I'll try to reproduce the problem and 
see if I can spot anything helpful.
— 
Dan