Okay, so you could tag your release in the repo and then add the result of `make distcheck` to the release afterwards, without having to check in things like co

Okay, so you could tag your release in the repo and then add the result of `make distcheck` to the release afterwards, without having to check in things like configure scripts? That's not too bad.