Remove generated man pages from git.