Közben a gdb configure-ban látom, hogy a texinfo-t is hazavágtam; hát gyorsan a texinfo-4.13a-t letöltöttem, megfoltoztam, telepítettem. Gyakorlat teszi a mestert! Fáradtá.