Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'xtask/src/codegen/lints.rs')
-rw-r--r--xtask/src/codegen/lints.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/xtask/src/codegen/lints.rs b/xtask/src/codegen/lints.rs
index 6975f9328e..d4cc0d01a7 100644
--- a/xtask/src/codegen/lints.rs
+++ b/xtask/src/codegen/lints.rs
@@ -28,7 +28,7 @@ pub(crate) fn generate(check: bool) {
cmd!(
sh,
"git -C {rust_repo} submodule update --init --recursive --depth=1 --
- compiler library src/tools"
+ compiler library src/tools src/doc/book"
)
.run()
.unwrap();
@@ -73,7 +73,7 @@ pub struct LintGroup {
.unwrap();
generate_descriptor_clippy(&mut contents, &lints_json);
- let contents = add_preamble("sourcegen_lints", reformat(contents));
+ let contents = add_preamble("lint-definitions", reformat(contents));
let destination = project_root().join(DESTINATION);
ensure_file_contents(destination.as_path(), &contents, check);