Mention util/update_lints.py

[rust.git] / PUBLISH.md

diff --git a/PUBLISH.md b/PUBLISH.md
index 9dcfc52a25bbf95e060fda7cbe3db44cae4a7a15..a9496d5b414d79a4866382bb25228d0a7a6d057e 100644 (file)
--- a/PUBLISH.md
+++ b/PUBLISH.md
@@ -7,14 +7,8 @@ Steps to publish a new clippy version
 - `git push`
 - Wait for Travis's approval.
 - Merge.
-- `cargo publish` in `./clippy_clints`.
+- `cargo publish` in `./clippy_lints`.
 - `cargo publish` in the root directory.
 - `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`
-- `./util/update_wiki.py`
-- `cd ../rust-clippy.wiki`
-- `git add *`
-- `git commit`
-- `git push`