diff options
| -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`. |