Update HOWTORELEASE.md

Author: reo7sp

Diff for: 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`.