src/gnu/dist/gdb/texinfo
