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.

Merge request reports

Loading