Subject: Re: HEADS UP: texinfo integrated
To: Todd Vierling <>
From: Matthew Jacob <>
List: current-users
Date: 02/14/1999 08:52:39
Minor update:

	go to src/gnu/usr.bin/texinfo/common and do a make prior
	making install-info

On Thu, 11 Feb 1999, Todd Vierling wrote:

> I've integrated GNU texinfo 3.12 into the tree in src/gnu/dist/texinfo and
> src/gnu/usr.bin/texinfo.  IF YOU DO NOT HAVE THE GTEXINFO PKG INSTALLED, you
> will need to build and install src/gnu/usr.bin/texinfo/install-info and
> src/gnu/usr.bin/texinfo/makeinfo before your next "make build".  These are
> needed as part of the /usr/share build process.
> Those with the gtexinfo pkg need not worry--the ones in the pkg system will
> be used by the build, but are given proper arguments to look in
> ${DESTDIR}/usr/share/info during build.
> -- 
> -- Todd Vierling (Personal; Bus.