--- a/src/cm/converters/abi_converters.py Fri Aug 05 17:12:15 2011 +0200
+++ b/src/cm/converters/abi_converters.py Thu Sep 08 15:14:25 2011 +0200
@@ -186,8 +186,8 @@
img_res.append(os.path.join(outdir_name + '/' + THE_OUTFILE + '_files', image_name))
# clean images paths
- output = re.sub(r'<img(.+src=")outfile_files/([^"]+")', r'<img\1\2', output);
- output = re.sub(r'<img(.+)style="width:[\d\.]+mm"', r'<img\1', output);
+ output = re.sub(r'<img(.+src=")outfile_files/([^"]+")', r'<img\1\2', output)
+ output = re.sub(r'<img(.+)style="width:[\d\.]+mm"', r'<img\1', output)
return output,img_res
finally: