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