commit e9fa76054e52341c90029945a21fdd1e72080b03
Author: Georg Baum <b...@lyx.org>
Date: Sun Jun 5 12:25:48 2016 +0200
Look for svgz images as well
Almost all toolbar images are now in svgz format, bu thos were not found by
the scripts.
diff --git a/development/tools/generate_symbols_images.py
b/development/tools/generate_symbols_images.py
index 10b3233..c00f9da 100755
--- a/development/tools/generate_symbols_images.py
+++ b/development/tools/generate_symbols_images.py
@@ -94,7 +94,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:
diff --git a/development/tools/generate_symbols_svg.py
b/development/tools/generate_symbols_svg.py
index 8db3ecf..32b95ee 100755
--- 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:
