diff options
Diffstat (limited to 'spec/scripts/gen_ebnf.py')
| -rw-r--r-- | spec/scripts/gen_ebnf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/scripts/gen_ebnf.py b/spec/scripts/gen_ebnf.py index 65824bd..990ae07 100644 --- a/spec/scripts/gen_ebnf.py +++ b/spec/scripts/gen_ebnf.py @@ -21,7 +21,7 @@ def main(): fields = reg["fields"] lines = [] - lines.append("/* UGI Grammar v0 — W3C EBNF */") + lines.append("/* UGI Grammar v0: W3C EBNF */") lines.append("/* Generated from ugi_registry_v0.json */") lines.append("/* Compatible with bottlecaps.de/rr/ui */") lines.append("") @@ -82,7 +82,7 @@ def main(): has_aspire = mods.get("aspire", False) has_alt = mods.get("alternative", False) - lines.append(f"/* {code} — {f['name']} ({ftype}) */") + lines.append(f"/* {code}: {f['name']} ({ftype}) */") if ftype == "direct": mod_parts = [] |