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
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: