Merge pull request #3133 from matthiaskrgr/link

remove "clippy::" lint prefix from lint name in doc url.
This commit is contained in:
Philipp Hansch 2018-09-06 07:10:45 +02:00 committed by GitHub
commit ca753c4af1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -499,7 +499,7 @@ impl<'a> DiagnosticWrapper<'a> {
self.0.help(&format!(
"for further information visit https://rust-lang-nursery.github.io/rust-clippy/v{}/index.html#{}",
env!("CARGO_PKG_VERSION"),
lint.name_lower()
lint.name_lower().replacen("clippy::", "", 1)
));
}
}