diff --git a/PUBLISH.md b/PUBLISH.md index 1ff3f2b4b731..53f0405dfb23 100644 --- a/PUBLISH.md +++ b/PUBLISH.md @@ -12,3 +12,9 @@ Steps to publish a new clippy version - `git pull`. - `git tag -s v0.0.X -m "v0.0.X"`. - `git push --tags`. +- `git clone git@github.com:Manishearth/rust-clippy.wiki.git ../rust-clippy.wiki.git` +- `./util/update_wiki.py` +- `cd ../rust-clippy.wiki.git` +- `git add *` +- `git commit` +- `git push`