Subject: HEADS UP: texinfo integrated
To: None <>
From: Todd Vierling <>
List: current-users
Date: 02/11/1999 10:47:17
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.