Download the official texinfo tarball release
Instead of checking out the git repo, download the release tarball for the version we want and build that.
We'll use version 7.2, the most recent release. The texinfo build script needs updating as well as the Makefiles because some directories have changed.