diff options
| author | Philipp Hansch <dev@phansch.net> | 2019-03-03 09:48:42 +0100 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2019-03-03 15:03:25 +0100 |
| commit | 0da3521eb6161cc855da65e6f0c7308147b22ba7 (patch) | |
| tree | 489bacba352950ab18c6f2b1f6fe66e6ce6494a0 /doc/adding_lints.md | |
| parent | b03011480c4b04b043ce3a6b67e1459739a08651 (diff) | |
Reword 'Setup' a bit
Diffstat (limited to 'doc/adding_lints.md')
| -rw-r--r-- | doc/adding_lints.md | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/adding_lints.md b/doc/adding_lints.md index d8edf79714c..12276b1a410 100644 --- a/doc/adding_lints.md +++ b/doc/adding_lints.md @@ -23,9 +23,10 @@ because that's clearly a non-descriptive name. ### Setup -Clippy depends on the current git master version of rustc, which can change rapidly. Make sure you're -working near rust-clippy's master, and use the `setup-toolchain.sh` script to configure the appropriate -toolchain for this directory. +When working on Clippy, you will need the current git master version of rustc, +which can change rapidly. Make sure you're working near rust-clippy's master, +and use the `setup-toolchain.sh` script to configure the appropriate toolchain +for the Clippy directory. ### Testing |