diff options
| author | bors <bors@rust-lang.org> | 2024-06-03 19:56:03 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-06-03 19:56:03 +0000 |
| commit | 5d568ad7bd59c225a1eaaf93c7d70ffecb4dbec1 (patch) | |
| tree | bb78cb43db2db09cfd7e63b5533b6fd2ef9d157a /book/src/development/basics.md | |
| parent | 4f3180adac9ff2da34c319fe17baa19e2580d09b (diff) | |
| parent | 9173c58e68e49defe25aa09c1614400c0ab139ca (diff) | |
Auto merge of #12885 - lochetti:clippy_proper_noun, r=flip1995
Using Clippy as a proper noun when refering to the unique entity Clippy I was reading some documentation (specially the book) and I notice some few usages of the word `clippy` when refering to the Project/Tool. As we already have in the majority of the documentation, in those cases, Clippy is a proper noun, and because of that should be used capitalized. This is, for sure, not an exhaustive change: quite the opposity, it was just some cases that I could verify with not so much effort. changelog: Docs: capitalizing the `clippy` word in some usages.
Diffstat (limited to 'book/src/development/basics.md')
| -rw-r--r-- | book/src/development/basics.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/development/basics.md b/book/src/development/basics.md index f4c109ff119..166b6aab9fb 100644 --- a/book/src/development/basics.md +++ b/book/src/development/basics.md @@ -107,7 +107,7 @@ More about [intellij] command usage and reasons. ## lintcheck -`cargo lintcheck` will build and run clippy on a fixed set of crates and +`cargo lintcheck` will build and run Clippy on a fixed set of crates and generate a log of the results. You can `git diff` the updated log against its previous version and see what impact your lint made on a small set of crates. If you add a new lint, please audit the resulting warnings and make sure there |