From 0432f1efd31f8cd58faea180d8e44a786bc6fc4c Mon Sep 17 00:00:00 2001 From: Oliver Schneider Date: Fri, 7 Apr 2017 16:42:08 +0200 Subject: [PATCH] Add wiki updating to publish steps --- PUBLISH.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/PUBLISH.md b/PUBLISH.md index 1ff3f2b4b73..53f0405dfb2 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` -- 2.44.0