From ccb60687b6b9115f594922ab1b4dfdb5a6f3b78d Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Thu, 25 Aug 2022 08:03:23 +0530
Subject: [PATCH] Prefix names of cmd files

---
 gen-rc-go.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gen-rc-go.py b/gen-rc-go.py
index cc109834d..418267007 100755
--- a/gen-rc-go.py
+++ b/gen-rc-go.py
@@ -241,7 +241,7 @@ var DocTitleMap = map[string]string{serialize_go_dict(ref_map['doc'])}
         cmd = command_for_name(name)
         opts = parse_option_spec(cmd.options_spec or '\n\n')[0]
         code = build_go_code(name, cmd, opts, template)
-        dest = f'tools/cmd/at/{name}_generated.go'
+        dest = f'tools/cmd/at/cmd_{name}_generated.go'
         if os.path.exists(dest):
             os.remove(dest)
         with open(dest, 'w') as f: