Re: Gub failure

[David Kastrup]

Werner LEMBERG <address@hidden> 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