Minor fixes in release documentation
Change-Id: I3d218019af9331b3bb04eb5871ea30f03e2933c0
(cherry picked from commit 0c104027ccd98436994b49208c615f32cb679392)
diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index a2e90af..59bc2b1 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -163,7 +163,7 @@
link:dev-release-deploy-config.html#deploy-configuration-setting-maven-central[
configuration needed for deployment]
-* Push the Jars to the Maven Central:
+* Push the Jars to Maven Central:
+
----
buck build api_deploy
@@ -179,7 +179,7 @@
[[publish-gerrit-war]]
==== Publish the Gerrit WAR (with Core Plugins)
-* Push the WAR to the Maven Central:
+* Push the WAR to Maven Central:
+
----
buck build war_deploy
@@ -189,9 +189,8 @@
[[push-stable]]
==== Push the Stable Branch
-* create the stable branch `stable-2.5` in the `gerrit` project
-+
-Via the link:https://gerrit-review.googlesource.com/#/admin/projects/gerrit,branches[
+* Create the stable branch `stable-2.5` in the `gerrit` project via the
+link:https://gerrit-review.googlesource.com/#/admin/projects/gerrit,branches[
Gerrit Web UI] or by push.
* Push the commits done on `stable-2.5` to `refs/for/stable-2.5` and
