/ ‘main.dvi’
/ ‘main.log’