Re: Gub failure

[David Kastrup]

Dan Eble <address@hidden> writes:

> On Jul 24, 2016, at 13:32 , David Kastrup <address@hidden> wrote:
>> 
>> Note that even "make" builds a basic non-image version of the Info
>> files, and of course with a non-image version, the difference is quite
>> noticeable.
>> 
>> At any rate, if we were to update Texinfo, it would likely make sense to
>> take the newest available version since then some of the performance
>> regression is likely to have seen some improvement.  I am not actually
>> sure about the indexing improvements, however: it may be that they are
>> only in PDF yet anyway, and in that case we probably already have them
>> since our texinfo.tex in the main tarball is much more up-to-date than
>> the Texinfo binaries.
>
> In LilyDev 3, I’ve tried “sudo apt-get install texinfo” and it tells
> me “texinfo is already the newest version.”  Is there any easier path
> forward than switching to a new VM?  Would the latest LilyDev be
> sufficient?

LilyDev might well have a later version of Texinfo than Gub has.  Try

makeinfo --version

-- 
David Kastrup