Set correct URL in clippy lints HTML comment

GuillaumeGomez · GuillaumeGomez · commit 01746e1dab8a · 2024-09-22T22:33:31.000+02:00
diff --git a/util/gh-pages/index_template.html b/util/gh-pages/index_template.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <!--
 Welcome to a Clippy's lint list, at least the source code of it. If you are
-interested in contributing to this website checkout `util/gh-pages/index.html`
+interested in contributing to this website checkout `util/gh-pages/index_template.html`
 inside the rust-clippy repository.
 
 Otherwise, have a great day =^.^=
