Update Doc/.ruff.toml

encukou · hugovk · web-flow · commit 81fa662de2af · 2026-02-25T11:57:43.000+01:00
Co-authored-by: Hugo van Kemenade &lt;1324225+hugovk@users.noreply.github.com&gt;
diff --git a/Doc/.ruff.toml b/Doc/.ruff.toml
@@ -30,9 +30,10 @@ select = [
 ]
 ignore = [
     "E501",  # Ignore line length errors (we use auto-formatting)
-    "I001",  # Import block is un-sorted or un-formatted
 ]
 
+[lint.per-file-ignores]
+"Doc/tools/check-html-ids.py" = ["I001"]  # Unsorted imports
 [format]
 preview = true
 quote-style = "preserve"

Original file line number	Diff line number	Diff line change
`@@ -30,9 +30,10 @@ select = [`
`30`	`30`	`]`
`31`	`31`	`ignore = [`
`32`	`32`	`"E501", # Ignore line length errors (we use auto-formatting)`
`33`		`- "I001", # Import block is un-sorted or un-formatted`
`34`	`33`	`]`
`35`	`34`
	`35`	`+[lint.per-file-ignores]`
	`36`	`+"Doc/tools/check-html-ids.py" = ["I001"] # Unsorted imports`
`36`	`37`	`[format]`
`37`	`38`	`preview = true`
`38`	`39`	`quote-style = "preserve"`