Werner LEMBERG <w...@gnu.org> writes:

>> Maybe gub still contains an older version?  Sorry for not having
>> checked that before committing.
>
> Indeed, I now see that only texinfo 4.11 is required.
>
> How to proceed?  Reverting is easy (commit
> 445bf3bb2fbd1f259fe43ade204fb34d68bdd581, the changes in
> `macros.itexi').  However, I would prefer if we update to a newer
> version of texinfo.

Texinfo 5 is vastly slower and this might make an impact on Gub times.
On the other hand, stuff like the improved indexing requires fairly
recent versions of Texinfo.

-- 
David Kastrup

_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to