diff --git a/src/LaTeX.cpp b/src/LaTeX.cpp index 7734b02ebc..c4dd18ef2d 100644 --- a/src/LaTeX.cpp +++ b/src/LaTeX.cpp @@ -432,6 +432,12 @@ int LaTeX::run(TeXErrors & terr) runMakeIndex(onlyFileName(idxfile.absFileName()), runparams); if (ret == Systemcall::KILLED || ret == Systemcall::TIMEOUT) return ret; + else if (ret != Systemcall::OK) { + iscanres |= INDEX_ERROR; + terr.insertError(0, + _("Index Processor Error"), + _("The index processor did not run successfully. Please check the output of View > Messages!")); + } FileName const ilgfile(changeExtension(file.absFileName(), ".ilg")); if (ilgfile.exists()) iscanres = scanIlgFile(terr);