I wrote: > > It doesn't appear to affect the build > > Really? Did you try renaming your system-wide texinfo.tex (somewhere > in the TeX installation tree)? Of course, you need also to say "make gdb.dvi" or some such.