Fix missing related settings header (#12013)

This commit is contained in:
Micha Reiser 2024-06-24 12:29:10 +02:00 committed by GitHub
parent 32ccc38365
commit e2e98d005c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -165,9 +165,9 @@ pub(crate) fn generate() -> String {
table_out.push('\n');
}
if Options::metadata().has(linter.name()) {
if Options::metadata().has(&format!("lint.{}", linter.name())) {
table_out.push_str(&format!(
"For related settings, see [{}](settings.md#{}).",
"For related settings, see [{}](settings.md#lint{}).",
linter.name(),
linter.name(),
));