Set correct URL in clippy lints HTML comment

GuillaumeGomez · GuillaumeGomez · commit 76a08dfb549a · 2024-08-15T20:31:05.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 =^.^=
