manual.tex 8.5 KB