Another try

encukou · encukou · commit bf5674908826 · 2026-02-25T12:52:19.000+01:00
diff --git a/Doc/.ruff.toml b/Doc/.ruff.toml
@@ -32,8 +32,8 @@ ignore = [
     "E501",  # Ignore line length errors (we use auto-formatting)
 ]
 
-[tool.ruff.lint.per-file-ignores]
-"Doc/tools/check-html-ids.py" = ["I001"]  # Unsorted imports
+[lint.per-file-ignores]
+"tools/check-html-ids.py" = ["I001"]  # Unsorted imports
 
 [format]
 preview = true

Original file line number	Diff line number	Diff line change
`@@ -32,8 +32,8 @@ ignore = [`
`32`	`32`	`"E501", # Ignore line length errors (we use auto-formatting)`
`33`	`33`	`]`
`34`	`34`
`35`		`-[tool.ruff.lint.per-file-ignores]`
`36`		`-"Doc/tools/check-html-ids.py" = ["I001"] # Unsorted imports`
	`35`	`+[lint.per-file-ignores]`
	`36`	`+"tools/check-html-ids.py" = ["I001"] # Unsorted imports`
`37`	`37`
`38`	`38`	`[format]`
`39`	`39`	`preview = true`