onlyFileName(changeExtension(file.absFileName(), ".log"));
LYXERR(Debug::LATEX, "Log file: " << tmp);
FileName const fn = FileName(makeAbsPath(tmp));
+ // FIXME we should use and ifdocstream here and a docstring for token
+ // below. The encoding of the log file depends on the _output_ (font)
+ // encoding of the TeX file (T1, TU etc.). See #10728.
ifstream ifs(fn.toFilesystemEncoding().c_str());
bool fle_style = false;
static regex const file_line_error(".+\\.\\D+:[0-9]+: (.+)");
// FIXME UNICODE
// Our caller interprets the file contents as UTF8, but is that
// correct?
+ // spitz: No it isn't (generally). The log file encoding depends on the TeX
+ // _output_ encoding (T1 etc.). We should account for that. See #10728.
if (in) {
ss << in.rdbuf();
success = ss.good();