using support::bformat;
using support::changeExtension;
+using support::FileName;
using support::makeDisplayPath;
using std::find;
for (vector<string>::const_iterator it = loaders.begin();
it != loaders.end(); ++it) {
if (converters.isReachable(format, *it)) {
- if (!converters.convert(0, filename, filename,
- format, *it, errorList))
+ string const tofile =
+ changeExtension(filename,
+ formats.extension(*it));
+ if (!converters.convert(0, FileName(filename), FileName(tofile),
+ FileName(filename), format, *it, errorList))
return false;
loader_format = *it;
break;