From b86a48955e43e269fdbda357ad543a35a2995eb6 Mon Sep 17 00:00:00 2001
From: Anastasis Georgoulas <a.georgoulas@ucl.ac.uk>
Date: Tue, 15 Oct 2024 22:42:03 +0100
Subject: [PATCH] Fix link to source

The URLs contained an extra `clippy_lints`, which resulted in
broken links. Links are generated using each lint's `id_location`,
which already contains the full path inside the repository.
---
 util/gh-pages/index_template.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/gh-pages/index_template.html b/util/gh-pages/index_template.html
index 663ef1fbd31c..2412f0fd1813 100644
--- a/util/gh-pages/index_template.html
+++ b/util/gh-pages/index_template.html
@@ -186,7 +186,7 @@ Otherwise, have a great day =^.^=
                             {# Jump to source #}
                             {% if let Some(id_location) = lint.id_location %}
                                 <div class="lint-additional-info-item"> {# #}
-                                    <a href="https://github.com/rust-lang/rust-clippy/blob/master/clippy_lints/{{id_location}}">View Source</a> {# #}
+                                    <a href="https://github.com/rust-lang/rust-clippy/blob/master/{{id_location}}">View Source</a> {# #}
                                 </div>
                             {% endif %}
                         </div> {# #}