docs/manual-latex/manual.pdf 
