Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Create a dist target to build binary distributions.
I decided against having the git repo version number in the tarball's name, so that we don't have to update the INSTALL.md with download instructions every time we build new tarballs.
- Loading branch information