Look for svgz images as well

[lyx.git] / development / tools / generate_symbols_svg.py

diff --git a/development/tools/generate_symbols_svg.py b/development/tools/generate_symbols_svg.py
index 8011e99131592891f51fc18c24c7ad91e9c70aae..32b95eebf9f0ed0f0aa5d336b81d295a1862ec86 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
 
 
@@ -95,7 +95,7 @@ def gettoolbaritems(filename):
 def getmakefileentries(filename):
     items = []
     makefile = open(filename, 'rt')
-    regexp = re.compile(r'.*images/math/(.+)\.png')
+    regexp = re.compile(r'.*images/math/(.+)\.(png|svgz)')
     for line in makefile.readlines():
         m = regexp.match(line)
         if m: