📝 README-DEV: Improve markdown

README-DEV.md

@@ -10,11 +10,11 @@ make test
 
 Release
 -------
-* Update ocrd-tool.json version
+* Update `ocrd-tool.json` version
-* Update setup.py version
+* Update `setup.py` version
-* git commit -m 'v<version>'
+* `git commit -m 'v<version>'`
-* git tag -m 'v<version>' 'v<version>'
+* `git tag -m 'v<version>' 'v<version>'`
-* git push --tags
+* `git push --tags`
 
 PyPI:
 * `rm -rf dist/` or backup if `dist/` exists already