diff --git a/README-DEV.md b/README-DEV.md index b6f899f..9e739a4 100644 --- a/README-DEV.md +++ b/README-DEV.md @@ -10,11 +10,11 @@ make test Release ------- -* Update ocrd-tool.json version -* Update setup.py version -* git commit -m 'v' -* git tag -m 'v' 'v' -* git push --tags +* Update `ocrd-tool.json` version +* Update `setup.py` version +* `git commit -m 'v'` +* `git tag -m 'v' 'v'` +* `git push --tags` PyPI: * `rm -rf dist/` or backup if `dist/` exists already