From 18a9541bb039f4064ac9f9481354279e809e59f6 Mon Sep 17 00:00:00 2001 From: Oleg Morozenkov Date: Tue, 8 Nov 2022 15:23:43 +0300 Subject: Update HOWTORELEASE.md --- HOWTORELEASE.md | 5 ++--- 1 file 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`. -- cgit v1.2.3