$pdf_mode = 1; @default_files = ('l2kurz'); $pdflatex = 'pdflatex -synctex=1 %O %S';