On 13 Feb 1999, Michael Graff wrote:

: install the texinfo from /usr/src/gnu/texinfo, then add this to your
: /etc/mk.conf file:
: 
: MAKEINFO=/usr/bin/makeinfo
: INSTALL_INFO=/usr/bin/install-info
: 
: That's what I had to do.  It seems the /usr/pkg/ version is slightly
: different.  :/

The pkg version should be exactly the same; it is 3.12, which is precisely
what is in-tree.

Perhaps you just needed a new sup?  gdb-cfg.texi was a file added to
src/gnu/usr.bin/gdb (not dist/gdb).

-- 
-- Todd Vierling (Personal tv@pobox.com; Bus. todd_vierling@xn.xerox.com)