Add documentation update hint

This adds a hint to update the documentation in the book after changing the lint configuration
2023-11-23 01:37:00 +01:00 · 2023-11-23 01:37:00 +01:00 · c18e6abdca
commit c18e6abdca
parent c24784ed81
1 changed files with 2 additions and 0 deletions
--- 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`