|
From: | Knut Petersen |
Subject: | Re: PDF docs for 2.19.82 broken/missing fonts |
Date: | Wed, 27 Jun 2018 16:05:56 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 |
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). Knut
[Prev in Thread] | Current Thread | [Next in Thread] |