commit 8e7bed57da4c7484eea58e2f2a3d87d4f2b30939
Author: Georg Baum <b...@lyx.org>
Date:   Sat Jun 4 20:13:37 2016 +0200

    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 e04962e..10b3233 100755
--- 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 8011e99..8db3ecf 100755
--- 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
 
 

Reply via email to