diff options
| author | Matthias Richter <matthias.ri97@gmail.com> | 2023-11-23 01:37:00 +0100 |
|---|---|---|
| committer | Matthias Richter <matthias.ri97@gmail.com> | 2023-11-23 01:38:56 +0100 |
| commit | c18e6abdca0022acc022b65fa5d239d800728693 (patch) | |
| tree | 978cf498f75cf4f0309ccc0ebdf1f5328ce71cd2 | |
| parent | c24784ed812cd4956855c2b5eb4059cf638cea9e (diff) | |
| download | rust-c18e6abdca0022acc022b65fa5d239d800728693.tar.gz rust-c18e6abdca0022acc022b65fa5d239d800728693.zip | |
Add documentation update hint
This adds a hint to update the documentation in the book after changing the lint configuration
| -rw-r--r-- | book/src/development/adding_lints.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/book/src/development/adding_lints.md b/book/src/development/adding_lints.md index 1803fc2d2f3..e79e5e75cd1 100644 --- a/book/src/development/adding_lints.md +++ b/book/src/development/adding_lints.md @@ -518,6 +518,8 @@ define_Conf! { [`clippy_config::msrvs`]: https://doc.rust-lang.org/nightly/nightly-rustc/clippy_config/msrvs/index.html +Afterwards update the documentation for the book as described in [Adding configuration to a lint](#adding-configuration-to-a-lint). + ## Author lint If you have trouble implementing your lint, there is also the internal `author` |
