----- Original Message -----
From: "Werner LEMBERG" <w...@gnu.org>
To: <m...@philholmes.net>
Cc: <d...@gnu.org>; <lilypond-devel@gnu.org>
Sent: Sunday, July 24, 2016 5:04 PM
Subject: Re: Gub failure
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
OK - so it looks like I should update
https://github.com/gperciva/gub/blob/master/gub/sources.py to a later
version of texinfo - possibly 4.13 to move forward but not risk a breakage
with a new major release?
I note that there are a couple of patch files for texinfo in
https://github.com/gperciva/gub/tree/master/patches. Not sure what to do
with these - possibly nothing and see what happens?
--
Phil Holmes
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel
