Re: Gub failure

[Dan Eble]

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?

Thanks,
— 
Dan