diff options
| author | Oleg Morozenkov <m@oleg.rocks> | 2022-11-08 15:23:43 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-08 15:23:43 +0300 |
| commit | 18a9541bb039f4064ac9f9481354279e809e59f6 (patch) | |
| tree | 12d9f61b3e11cf7adade31394dff40423394c5c8 | |
| parent | 851566d7afa52a5982e7a601984b85f3778cf4d0 (diff) | |
Update HOWTORELEASE.md
| -rw-r--r-- | HOWTORELEASE.md | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/HOWTORELEASE.md b/HOWTORELEASE.md index d58bf69..5a2eec4 100644 --- a/HOWTORELEASE.md +++ b/HOWTORELEASE.md @@ -1,6 +1,5 @@ # Instructions for publishing release 1. Create release on GitHub. Name git tag like "v1.x". -2. Run "cd tools && ./docs-push-gh-pages". -3. Run "cd tools && ./docker-push". - +2. Run `cd tools && ./docs-push-gh-pages`. +3. Run `cd tools && ./docker-push`. |