manual: Combine overview.pdf and the user manual.