manual.tex 581 Bytes