[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Gub failure

From: Dan Eble
Subject: Re: Gub failure
Date: Tue, 26 Jul 2016 07:33:31 -0400

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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]