release: more like what I actually did with 0.12pre1
commit45f237a26c904a8066b1f0267b10b3384b7540fd
authorKalle Olavi Niemitalo <kon@iki.fi>
Tue, 1 Jul 2008 21:58:04 +0000 (2 00:58 +0300)
committerKalle Olavi Niemitalo <Kalle@Astalo.kon.iki.fi>
Tue, 1 Jul 2008 22:06:43 +0000 (2 01:06 +0300)
tree15f8ae795b2ec329f55a4186f0c1bc5d46151147
parentd5dcdb4d9275769863489f835d38cb415b82f736
release: more like what I actually did with 0.12pre1

In particular:
- mkdist takes options and need not be run at elinks.cz
- git push just the single tag, rather than all --tags
- explicitly avoid multipart/signed
- add the release date from the elinks-users archive to NEWS
- update download.txt, release.html, and bugzilla/milestones/elinks.html
doc/release.txt