manual.tex 13.1 KB