$pdf_mode = 4;        # LuaLaTeX
@default_files = ('manual.tex');