make manual.pdf depend on pdf (comment by Andrea Riciputi) figures and rename the...