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