5 for filename in sys.argv[1:]:
6 with open(filename) as f:
9 if line.startswith('/* [Shortcut] '):
10 desc = line[14:-2].strip()
11 parts = desc.split(':')
12 shortcuts.append(desc.split(':'))
14 shortcuts.sort(key=lambda x: x[0])
17 <table id="keyboard shortcuts">
18 <title>Keyboard shortcuts</title>
19 <tgroup cols='2' align='left' colsep='1' rowsep='1'>
31 print(f" <entry>{s[0]}</entry>")
32 print(f" <entry>{s[1]}</entry>")