Add newline to end of generated file

This commit is contained in:
Kovid Goyal 2022-08-19 11:29:47 +05:30
parent 012731c3be
commit 1f499a7c6c
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -843,7 +843,7 @@ def init_env_from_args(args: Options, native_optimizations: bool = False) -> Non
def build_ref_map() -> str:
m = runpy.run_path('docs/extract-rst-targets.py')
d = m['main']()
h = 'static const char docs_ref_map[] = {\n' + textwrap.fill(', '.join(map(str, bytearray(json.dumps(d).encode('utf-8'))))) + '\n};'
h = 'static const char docs_ref_map[] = {\n' + textwrap.fill(', '.join(map(str, bytearray(json.dumps(d).encode('utf-8'))))) + '\n};\n'
dest = 'kitty/docs_ref_map_generated.h'
q = ''
with suppress(FileNotFoundError), open(dest) as f: