Add wiki updating to publish steps

[rust.git] / PUBLISH.md

diff --git a/PUBLISH.md b/PUBLISH.md
index 1ff3f2b4b73104dd0faae19c34037d9fe1e283e5..53f0405dfb23d95c9311fe4752e712a1cd6d7dec 100644 (file)
--- 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`