if (!params().default_output_format.empty()
&& params().default_output_format != "default")
return params().default_output_format;
if (!params().default_output_format.empty()
&& params().default_output_format != "default")
return params().default_output_format;
- typedef vector<Format const *> Formats;
- Formats formats = exportableFormats(true);
|| params().useNonTeXFonts
|| params().encoding().package() == Encoding::japanese) {
|| params().useNonTeXFonts
|| params().encoding().package() == Encoding::japanese) {
+ vector<Format const *> const formats = exportableFormats(true);
if (formats.empty())
return string();
// return the first we find
if (formats.empty())
return string();
// return the first we find