Re: GUB

[David Kastrup]

Masamichi Hosoda <address@hidden> writes:

>>> GUB worked for a long time, but we have a) an unsolved problem
>>> building the pdfs of the english documentation of stable/2.20,
>> 
>> That sounds like more of a race condition to me, so it's likely
>> unrelated to GUB but may be related to building in a separate directory
>> or to cross-compilation.
>
> I found a possibility that the wrong PDF is output
> if the build directory is not clean.

Like when a build aborted, maybe.

> I'll create a patch which fixes this issue.

Let's hope that this will avoid this problem in future.

-- 
David Kastrup