> > - If dvi is not the default, what is the right switch? > > ('texexec --dvi ...' has no effect) > > --dvi would have been more intuitive, but it's --dvips. That was the solution Thank you Mojca! Wolfgang