$latex = 'lualatex';
@default_files = ('manual.tex');