Fix filename in output file

alexdewar · alexdewar · commit a50e2a1072be · 2025-06-09T11:55:57.000+01:00
diff --git a/docs/generate_input_format_doc.py b/docs/generate_input_format_doc.py
@@ -21,7 +21,7 @@
 def generate_markdown() -> str:
     out = (
         "# Input file format\n"
-        f"<!-- Automatically generated by {__name__}.py. Do not edit manually. -->\n"
+        f"<!-- Automatically generated by {Path(__file__).name}. Do not edit manually. -->\n"
         "<!-- markdownlint-disable MD013 -->\n"
         "<!-- markdownlint-disable MD033 -->\n"
     )

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@`
`21`	`21`	`def generate_markdown() -> str:`
`22`	`22`	`out = (`
`23`	`23`	`"# Input file format\n"`
`24`		`- f"<!-- Automatically generated by {__name__}.py. Do not edit manually. -->\n"`
	`24`	`+ f"<!-- Automatically generated by {Path(__file__).name}. Do not edit manually. -->\n"`
`25`	`25`	`"<!-- markdownlint-disable MD013 -->\n"`
`26`	`26`	`"<!-- markdownlint-disable MD033 -->\n"`
`27`	`27`	`)`