summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-03-25 17:52:32 (GMT)
committerBoris Kolpackov <boris@codesynthesis.com>2019-03-25 17:52:32 (GMT)
commitc2b06ad1e7b89a93a416ab3840887bcdd2d1a94d (patch)
treea43eb91ca83e2d0c7753845ac6df9961e19be790
parent9a467be5381f92b1870a8d8d7bcabd267ec7be12 (diff)
Update release doc
-rw-r--r--doc/release.cli2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/release.cli b/doc/release.cli
index a9ca45a..fa208a3 100644
--- a/doc/release.cli
+++ b/doc/release.cli
@@ -723,6 +723,8 @@ distribution from \c{etc/stage} and add the pre-distributed packages
building all the staged packages. Make sure all the builds of the new
development snapshot are successful and there is nothing unbuilt.
+ Upgrade \c{brep} on \c{stage}.
+
\h#commit-reopen|Commit and push \c{etc/} and \c{private/}.|
Commit and push changes to \c{etc/} and \c{private/}.