> Perhaps you just needed a new sup? gdb-cfg.texi was a file added to > src/gnu/usr.bin/gdb (not dist/gdb). This file is created by the Makefile (along with GDBvn.texi) as fixed by cristos Feb 13 19:31:45 UTC. See also PR 6994, which can be closed now. Wolfgang