Added 'res.tex'.