Move manuals to src/main/tex