find /usr/local/texlive -name pdftexconfig.tex -exec ls -sl {} ';' 8 -rw-r--r--@ 1 el wheel 549 Apr 15 2016 /usr/local/texlive/2019basic/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex 8 -rw-r--r-- 1 el wheel 549 May 2 2019 /usr/local/texlive/2019basic/texmf-config/tex/generic/config/pdftexconfig.tex
kpsewhich pdftexconfig.tex /usr/local/texlive/2019basic/texmf-config/tex/generic/config/pdftexconfig.tex So it may even be possible to edit the distributed one and save it onto config :-)-O el On 12/02/2020 08: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 > > -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users