mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

I prefers long options in documentation

This commit is contained in:
Tshepang Lekhonkhobe 2019-10-15 22:13:15 +02:00 committed by Who? Me?!
parent c46ab305be
commit 1d8db1a89d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -72,7 +72,8 @@ To make a PR, the following steps are useful.
git submodule update --remote src/doc/rustc-guide
git add -u
git commit -m "Update rustc-guide"
./x.py test -i --stage 1 src/doc/rustc-guide # This is optional and should succeed anyway
# Note that you can use -i, which is short for --incremental, in the following command
./x.py test --incremental --stage 1 src/doc/rustc-guide # This is optional and should succeed anyway
# Open a PR in rust-lang/rust
```