PDF export fails with pdflatex and LuaTeX

[Paul A. Rubin]

On 2/11/20 11:34 AM, Martin Weise wrote:
> LaTeX.cpp (658): Log line: Output written on HelloWord.dvi (1 page, 236
> bytes).
Kornel was correct about the .dvi file being a clue. When I compile your 
HelloWorld example here, the corresponding line shows a .pdf file being 
written, as one would expect.

The target (pdf2) is correct, so I'm at a loss as to why the output file 
has the wrong type.

Paul