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 tv@pobox.com; Bus. todd_vierling@xn.xerox.com)