From 6bc8364d8d9a5246fbad32e92747c10ed6738f10 Mon Sep 17 00:00:00 2001
From: Silvano Cerza <silvanocerza@gmail.com>
Date: Mon, 7 Jun 2021 14:56:50 +0200
Subject: [PATCH] [skip changelog] Change name of generated index json

---
 generator/generator.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generator/generator.py b/generator/generator.py
index 14b5bf81..99e71cd1 100644
--- a/generator/generator.py
+++ b/generator/generator.py
@@ -256,7 +256,7 @@ def generate_boards_json(input_data, arduino_cli_path):
 
     Path("boards").mkdir()
 
-    with open("boards/board_index.json", "w") as f:
+    with open("boards/module_firmware_index.json", "w") as f:
         json.dump(boards_json, f, indent=2)
 
 # board_index.json must be formatted like so: