diff options
| author | Anastasis Georgoulas <a.georgoulas@ucl.ac.uk> | 2024-10-15 22:42:03 +0100 |
|---|---|---|
| committer | Anastasis Georgoulas <a.georgoulas@ucl.ac.uk> | 2024-10-15 22:42:51 +0100 |
| commit | b86a48955e43e269fdbda357ad543a35a2995eb6 (patch) | |
| tree | 2c8f6e2ebe78c4ab35362f2692c80eb251bbe7b5 | |
| parent | ddda954e3771c606f0ea2086f7298864374e9093 (diff) | |
| download | rust-b86a48955e43e269fdbda357ad543a35a2995eb6.tar.gz rust-b86a48955e43e269fdbda357ad543a35a2995eb6.zip | |
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.
| -rw-r--r-- | util/gh-pages/index_template.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/gh-pages/index_template.html b/util/gh-pages/index_template.html index 663ef1fbd31..2412f0fd181 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> {# #} |