Do not build info pages
Use a seperate tex file for the manpage