diff options
| -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/}. |