a proper signed git tag for the release, based on the contents
of $(VERSION). It's highly undesirable (at least) to change anything
after the tag is made, so don't run this until everything is committed
- and pushed and you're ready to release. For stable releases, check
+ and pushed and you're ready to release.
* Create additional info for the announcement with the announce-gen
script that is part of gnulib. It requires the new release tarball,