Ignore the generated man page files via .gitignore, too.