From 554fe1ed5c4c33b100ada27810cd19ea8e18c3f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Thu, 6 Sep 2018 00:45:57 +0200
Subject: [PATCH] remove "clippy::" lint prefix from lint name in doc url.

Fixes #3132
---
 clippy_lints/src/utils/mod.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/clippy_lints/src/utils/mod.rs b/clippy_lints/src/utils/mod.rs
index 650ea373d97..ad033724fe1 100644
--- a/clippy_lints/src/utils/mod.rs
+++ b/clippy_lints/src/utils/mod.rs
@@ -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)
             ));
         }
     }
@@ -1115,4 +1115,4 @@ mod test {
         let result = without_block_comments(vec!["foo", "bar", "baz"]);
         assert_eq!(result, vec!["foo", "bar", "baz"]);
     }
-}
\ No newline at end of file
+}