- string const from_ext = formats.extension(from_format);
- string const command = "sh " +
- LibFileSearch("scripts", "convertDefault.sh") +
- ' ' + from_ext + ':' + from_file +
- ' ' + to_ext + ':' + to_file;
+ string const from_ext = from_format.empty() ?
+ GetExtension(from_file) :
+ formats.extension(from_format);
+ string const command =
+ "sh " +
+ QuoteName(LibFileSearch("scripts", "convertDefault.sh")) +
+ ' ' +
+ QuoteName(from_ext + ':' + from_file) +
+ ' ' +
+ QuoteName(to_ext + ':' + to_file);