[options] remove custom Formatter.format_help()

fixes superfluous newlines in --version output
2025-09-05 22:21:09 +02:00
parent 752f82f002
commit 35bf1a2a0a
2 changed files with 3 additions and 5 deletions
--- a/scripts/options.py
+++ b/scripts/options.py
@@ -46,4 +46,6 @@ with util.lazy(PATH) as fp:
    fp.write(f"""# Command-Line Options

 <!-- auto-generated by {SELF} -->
-{opts[:-1]}""")
+
+
+{opts}""")