[doc] Minor changes to the manual

Don't put manual.tex into the distribution.
"chmod -x" to online.tex.
Fix typos and spaces.