Adjust generate_symbols* to db363ab1

The image map was renamed, so it was not found anymore.

diff --git a/development/tools/generate_symbols_images.py b/development/tools/generate_symbols_images.py
index e04962e4e07bb124828bc71814a4fb481e446b51..10b3233a94497ebb87826a6a628e726984dc7e90 100755 (executable)
--- a/development/tools/generate_symbols_images.py
+++ b/development/tools/generate_symbols_images.py
@@ -75,7 +75,7 @@ def getreplacements(filename):
                 replacements[m.group(1)] = m.group(2)
             else:
                 return replacements
-        elif line.find('PngMap sorted_png_map') == 0:
+        elif line.find('ImgMap sorted_img_map') == 0:
             found = True
 
 

diff --git a/development/tools/generate_symbols_svg.py b/development/tools/generate_symbols_svg.py
index 8011e99131592891f51fc18c24c7ad91e9c70aae..8db3ecfb693a4b136064ef66463de8518be4d9c0 100755 (executable)
--- a/development/tools/generate_symbols_svg.py
+++ b/development/tools/generate_symbols_svg.py
@@ -76,7 +76,7 @@ def getreplacements(filename):
                 replacements[m.group(1)] = m.group(2)
             else:
                 return replacements
-        elif line.find('PngMap sorted_png_map') == 0:
+        elif line.find('ImgMap sorted_img_map') == 0:
             found = True