Auto update lint count in Clippy book

2022-04-17 20:43:43 +02:00 · 2022-04-17 20:43:43 +02:00 · b551928800
commit b551928800
parent c9cbead656
1 changed files with 10 additions and 0 deletions
--- 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"),