|
From: | Phil Holmes |
Subject: | Re: Gub failure |
Date: | Sun, 24 Jul 2016 17:37:23 +0100 |
To: <address@hidden> Cc: <address@hidden>; <address@hidden> 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
[Prev in Thread] | Current Thread | [Next in Thread] |