aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYoni Rabkin <yoni@rabkins.net>2017-04-17 09:49:39 -0400
committerYoni Rabkin <yoni@rabkins.net>2017-04-17 09:49:39 -0400
commit6e795ce6117322ae5dd8a4b3e2f4ff073495ba5d (patch)
tree2dec884ffc1224795eb2c71eca4bb3104b7a9509
parent6601ba8ef710b8ed260773e18a3baa940a7adc3a (diff)
* doc/developer-release.txt: Add tags comment.
-rw-r--r--doc/developer-release.txt25
1 files changed, 17 insertions, 8 deletions
diff --git a/doc/developer-release.txt b/doc/developer-release.txt
index 4f77f00..1d38bae 100644
--- a/doc/developer-release.txt
+++ b/doc/developer-release.txt
@@ -1,11 +1,20 @@
This file tries to list the things people have to do before they do a
release.
-1) Increase the version number in emms.el and Makefile
-2) Update NEWS
-3) Tag release in VCS, for example with `git tag -a 4.2 -m "4.2"'
-4) Run make release
-5) Run make upload
-6) Update online manual
-7) Update website
-8) Send announcement email
+* Increase the version number in emms.el and Makefile
+
+* Update NEWS
+
+* Tag release in VCS, for example `git tag -a 4.2 -m "4.2"'
+
+* Push tag to VCS if needed, for example `git push --tags origin master'
+
+* Run make release
+
+* Run make upload
+
+* Update online manual
+
+* Update website
+
+* Send announcement email