Skip to content

Commit

Permalink
Fix link to source
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
ageorgou committed Oct 15, 2024
1 parent ddda954 commit b86a489
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion util/gh-pages/index_template.html
Original file line number Diff line number Diff line change
Expand Up @@ -186,7 +186,7 @@ <h2 class="panel-title"> {# #}
{# 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> {# #}
Expand Down

0 comments on commit b86a489

Please sign in to comment.