Documentation build regressions

[Joseph Myers]

On Wed, 30 May 2018, Maciej W. Rozycki wrote:

> The latter file and offending line has been modified since and still fails 
> in a similar manner.  If I revert both files to just before the respective 
> commits, then `make pdf' succeeds.  This is with:
> 
> This is pdfeTeXk, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)

What texinfo.tex gets used?  Is it the one from the binutils-gdb source 
tree (which is over nine years old) or one from your TeX installation (and 
if the latter, which version is it)?

I suppose it's possible that sometimes one gets used and sometimes the 
other and your issue is specific to a particular texinfo.tex version.  
Another possibly relevant version is that of texi2dvi.

-- 
Joseph S. Myers
joseph@codesourcery.com