Dan Eble <d...@faithful.be> writes: > On Jul 24, 2016, at 13:32 , David Kastrup <d...@gnu.org> 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 _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel