Update doc/manual.tex