Skip to content

Download the official texinfo tarball release

Raymond Toy requested to merge download-texinfo into master

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