Subject: Re: make build error for source feb 12, 1999
To: Michael Graff <>
From: Todd Vierling <>
List: current-users
Date: 02/15/1999 09:41:23
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; Bus.