Add wiki updating to publish steps

2017-04-07 16:42:08 +02:00 · 2017-04-07 16:42:08 +02:00 · 0432f1efd3
commit 0432f1efd3
parent c657d603ba
1 changed files with 6 additions and 0 deletions
--- 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`