From c18e6abdca0022acc022b65fa5d239d800728693 Mon Sep 17 00:00:00 2001 From: Matthias Richter Date: Thu, 23 Nov 2023 01:37:00 +0100 Subject: [PATCH] Add documentation update hint This adds a hint to update the documentation in the book after changing the lint configuration --- book/src/development/adding_lints.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/book/src/development/adding_lints.md b/book/src/development/adding_lints.md index 1803fc2d2..e79e5e75c 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`