manual.lyx manual.out manual.pdf manual.toc manual.aux html