From 52dec9d20bfd039014b234b71e19ae091eca8f97 Mon Sep 17 00:00:00 2001 From: Oliver Schneider Date: Fri, 28 Apr 2017 12:39:48 +0200 Subject: [PATCH] Fix publish commands creating the wrong directories --- PUBLISH.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/PUBLISH.md b/PUBLISH.md index 53f0405dfb2..9dcfc52a25b 100644 --- a/PUBLISH.md +++ b/PUBLISH.md @@ -12,9 +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` +- `git clone git@github.com:Manishearth/rust-clippy.wiki.git ../rust-clippy.wiki` - `./util/update_wiki.py` -- `cd ../rust-clippy.wiki.git` +- `cd ../rust-clippy.wiki` - `git add *` - `git commit` - `git push`