Fix gdb.texinfo for old makeinfo (again)