Create manual.tex