Added manual.tex