Fix publish commands creating the wrong directories
This commit is contained in:
parent
9abef6affd
commit
52dec9d20b
@ -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`
|
||||
|
Loading…
x
Reference in New Issue
Block a user