From 258a26283db31ffd9d8cc91adea2a1103158291b Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Mon, 11 Mar 2024 22:23:47 -0400
Subject: [PATCH] assets.json is not meant to be updated until 1.57 is
 widespread

---
 tools/make-assets.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/make-assets.sh b/tools/make-assets.sh
index 0706d72b6..1d08371d6 100755
--- a/tools/make-assets.sh
+++ b/tools/make-assets.sh
@@ -14,6 +14,7 @@ cp -R ./assets $DES/
 VERSION=$(cat ./dist/version)
 if [[ "$VERSION" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]; then
     echo "*** Removing $DES/assets.dev.json"
+    rm -f $DES/assets.json
     rm -f $DES/assets.dev.json
 else
     echo "*** Removing $DES/assets.json"