diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2019-03-25 19:52:32 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-03-25 19:52:32 +0200 |
| commit | c2b06ad1e7b89a93a416ab3840887bcdd2d1a94d (patch) | |
| tree | a43eb91ca83e2d0c7753845ac6df9961e19be790 | |
| parent | 9a467be5381f92b1870a8d8d7bcabd267ec7be12 (diff) | |
Update release doc
| -rw-r--r-- | doc/release.cli | 2 |
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/}. |