Generate Linux man pages when generating docs.