Re: PDF docs for 2.19.82 broken/missing fonts

[David Kastrup]

Knut Petersen <address@hidden> writes:

> Am 27.06.2018 um 15:08 schrieb David Kastrup:
>> As a reminder (possibly not relevant, but I thought I'd mention it):
>> multi-job make will serialize the output from various jobs so there is
>> the possibility of some things happening in parallel that look like
>> happening after one another.
>
> The "serialize output" feature of make needs to be enabled, and both
> log files clearly show that this is not the case (output of several
> parallel jobs of gs and extractpdfmark is mixed).

I thought they were mixed at the line level, but according to Make's
documentation they aren't synchronized at all.

Due to line buffering at the terminal, they'd come out per-line
interspersed anyway but when redirected to a log file, this will likely
depend on just when buffers get flushed.

-- 
David Kastrup