doc: install man3 pages for generated man pages.