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 8db3ecfb693a4b136064ef66463de8518be4d9c0..32b95eebf9f0ed0f0aa5d336b81d295a1862ec86 100755 (executable)
--- a/development/tools/generate_symbols_svg.py
+++ b/development/tools/generate_symbols_svg.py
@@ -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: