> 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. Werner _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel