manual.tex 15.1 KB