Merge pull request #1204 from nico/vernum
fix RELEASING wrt manual.asciidoc process
diff --git a/RELEASING b/RELEASING
index cfa03b6..5f51b73 100644
--- a/RELEASING
+++ b/RELEASING
@@ -7,12 +7,13 @@
git commit -am 'mark this 1.5.0.git'
4. git checkout release; git merge master
5. fix version number in src/version.cc (it will likely conflict in the above)
-6. commit, tag, push (don't forget to push --tags)
+6. fix version in doc/manual.asciidoc (exists only on release branch)
+7. commit, tag, push (don't forget to push --tags)
git commit -am v1.5.0; git push origin release
git tag v1.5.0; git push --tags
# Push the 1.5.0.git change on master too:
git checkout master; git push origin master
-7. construct release notes from prior notes
+8. construct release notes from prior notes
credits: git shortlog -s --no-merges REV..
Release on github:
