else
target_dir = doc_buffer->fileName().onlyPath();
- string const format = (argument.empty() || argument == "*") ?
+ string const format = (argument.empty() || argument == "default") ?
doc_buffer->params().getDefaultOutputFormat() : argument;
if ((dest.empty() && doc_buffer->isUnnamed())