On 12.02.20 07:32, Jürgen Spitzmüller wrote: > Am Mittwoch, den 12.02.2020, 07:28 +0100 schrieb Jürgen Spitzmüller: >> Am Dienstag, den 11.02.2020, 21:44 +0100 schrieb Martin Weise: >>> Ok, here's something I (just) noticed: pdflatex, when run without >>> arguments, produces a .dvi file from HelloWorld.tex. It is only if >>> I >>> specify "-output-format=pdf" that it creates a .pdf file. >>> >>> From what I understand, this is not what pdflatex should normally >>> do. >> Try the following: >> >> Find the configuration file pdftexconfig.tex in the terminal via >> >> kpsewhich pdftexconfig.tex > ... and if no such file is there, you need to create it, as indeed (and > maybe surprisingly) pdf(la)tex _does_ produce DVI by default; it only > produces PDF if advised so via \pdfoutput. > > I attach my (default TeXLive) configuration file for convenience. > > Jürgen > The file was there; however, it was empty.
I added the line as per your suggestion. Unfortunately, pdflatex still produces a dvi file. Anything I need to do additionally, i.e. to activate the new config file? Martin -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users