about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMatthias Richter <matthias.ri97@gmail.com>2023-11-23 01:37:00 +0100
committerMatthias Richter <matthias.ri97@gmail.com>2023-11-23 01:38:56 +0100
commitc18e6abdca0022acc022b65fa5d239d800728693 (patch)
tree978cf498f75cf4f0309ccc0ebdf1f5328ce71cd2
parentc24784ed812cd4956855c2b5eb4059cf638cea9e (diff)
downloadrust-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.md2
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`