- if (converters.IsReachable(format, *it)) {
- if (!converters.Convert(0, filename, filename,
- format, *it))
+ if (converters.isReachable(format, *it)) {
+ string const tofile =
+ changeExtension(filename,
+ formats.extension(*it));
+ if (!converters.convert(0, filename, tofile,
+ filename, format, *it, errorList))