vi doc/ChangeLog
git commit doc/ChangeLog
+
Change version numbers in the VERSION file:
vi VERSION
git commit VERSION
+
Make the files
Note that it also does "make dist-check", which checks
make dist-tag
+
Sign the packages. You will need the correct GPG key for this
to work.