: cmd(latex), file(f), path(p), lpath(lp), runparams(rp), biber(false)
{
num_errors = 0;
- if (prefixIs(cmd, "pdf")) { // Do we use pdflatex ?
+ // lualatex can still produce a DVI with --output-format=dvi. However,
+ // we do not use that internally (we use the "dvilualatex" command) so
+ // it would only happen from a custom converter. Thus, it is better to
+ // guess that lualatex produces a PDF than to guess a DVI.
+ // FIXME we should base the extension on the output format, which we should
+ // get in a robust way, e.g. from the converter.
+ if (prefixIs(cmd, "pdf") || prefixIs(cmd, "lualatex") || prefixIs(cmd, "xelatex")) {
depfile = FileName(file.absFileName() + ".dep-pdf");
output_file =
FileName(changeExtension(file.absFileName(), ".pdf"));
} else if (contains(token, "Rerun to get citations")) {
// Natbib seems to use this.
retval |= UNDEF_CIT;
- } else if (contains(token, "No pages of output")) {
- // A dvi file was not created
+ } else if (contains(token, "No pages of output")
+ || contains(token, "no pages of output")) {
+ // No output file (e.g. the DVI or PDF) was created
retval |= NO_OUTPUT;
} else if (contains(token, "That makes 100 errors")) {
// More than 100 errors were reprted