From b55192880040580bbdab9a36afa1d47bd486d6ed Mon Sep 17 00:00:00 2001
From: flip1995 <philipp.krones@embecosm.com>
Date: Sun, 17 Apr 2022 20:43:43 +0200
Subject: [PATCH] Auto update lint count in Clippy book

---
 clippy_dev/src/update_lints.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/clippy_dev/src/update_lints.rs b/clippy_dev/src/update_lints.rs
index 5024e63bf..1bbd9a45b 100644
--- a/clippy_dev/src/update_lints.rs
+++ b/clippy_dev/src/update_lints.rs
@@ -58,6 +58,16 @@ fn generate_lint_files(
         },
     );
 
+    replace_region_in_file(
+        update_mode,
+        Path::new("book/src/README.md"),
+        "[There are over ",
+        " lints included in this crate!]",
+        |res| {
+            write!(res, "{}", round_to_fifty(usable_lints.len())).unwrap();
+        },
+    );
+
     replace_region_in_file(
         update_mode,
         Path::new("CHANGELOG.md"),